Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
febfb98d0941
renamed data type
febfb98d0941
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Edit Tasks
Subscribe
Mute Notifications
Award Token
Flag For Later
Tags
None
Subscribers
None
Description
renamed data type
Details
Provenance
desharna
Authored on
Parents
rISABELLEa17c17ab931c: tuned terminology
Branches
Unknown
Tags
Unknown
Event Timeline
desharna committed
rISABELLEfebfb98d0941: renamed data type
.
Nov 19 2020, 2:43 PM
2020-11-19 14:43:50 (UTC+1)