Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
2aad8698f82f
tweaked
2aad8698f82f
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
tweaked
Details
Provenance
lukasstevens
Authored on
Parents
rISABELLEfb2be77a7819: tweaked;
Branches
Unknown
Tags
Unknown
Event Timeline
lukasstevens
committed
rISABELLE2aad8698f82f: tweaked
.
Sep 30 2022, 12:41 PM
2022-09-30 12:41:32 (UTC+2)
makarius
mentioned this in
rISABELLE3c46356d241f: restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
.
Sep 30 2022, 7:46 PM
2022-09-30 19:46:25 (UTC+2)