Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
042041c0ebeb
clarified modules;
042041c0ebeb
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
clarified modules;
Details
Provenance
makarius
Authored on
Parents
rISABELLE8403bd51f8b1: clarified modules;
Branches
Unknown
Tags
Unknown
Event Timeline
makarius
committed
rISABELLE042041c0ebeb: clarified modules;
.
Oct 20 2021, 8:25 PM
2021-10-20 20:25:33 (UTC+2)
makarius
mentioned this in
rAFP5fee9e3ac452: tuned signature, according to Isabelle/042041c0ebeb;
.
Oct 21 2021, 11:50 AM
2021-10-21 11:50:01 (UTC+2)