Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
2c7f0ef8323a
NEWS;
2c7f0ef8323a
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
NEWS;
Details
Provenance
makarius
Authored on
Parents
rISABELLEcd3419427cd3: activate E 2.5 for production use (see also 5d1a7b688f6d);
Branches
Unknown
Tags
Unknown
Event Timeline
makarius
committed
rISABELLE2c7f0ef8323a: NEWS;
.
Oct 12 2020, 5:42 PM
2020-10-12 17:42:15 (UTC+2)