Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
ee9998bb417b
tuned;
ee9998bb417b
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
tuned;
Details
Provenance
makarius
Authored on
Parents
rISABELLE7a53175fb0f4: NEWS;
Branches
Unknown
Tags
Unknown
Event Timeline
makarius
committed
rISABELLEee9998bb417b: tuned;
.
Dec 23 2019, 10:35 PM
2019-12-23 22:35:54 (UTC+1)