Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
ffa417b5c913
tuned;
ffa417b5c913
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
rISABELLE5ee978b3c009: tuned messages;
Branches
Unknown
Tags
Unknown
Event Timeline
makarius
committed
rISABELLEffa417b5c913: tuned;
.
Sun, Sep 3, 4:56 PM
2023-09-03 16:56:43 (UTC+2)
makarius
mentioned this in
rISABELLE4f2215cfc3e0: Added tag Isabelle2023-RC5 for changeset ffa417b5c913
.
Sun, Sep 3, 8:21 PM
2023-09-03 20:21:01 (UTC+2)