Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
6df92c387063
proper file headers;
6df92c387063
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
proper file headers;
Details
Provenance
makarius
Authored on
Parents
rISABELLE6c123914883a: clarified context;
Branches
Unknown
Tags
Unknown
Event Timeline
makarius
committed
rISABELLE6df92c387063: proper file headers;
.
Oct 19 2021, 3:03 PM
2021-10-19 15:03:00 (UTC+2)