Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
c2a2be496f35
tuned;
c2a2be496f35
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
rISABELLEc49362e85f5a: proper ML types (amending 1aa92bc4d356);
Branches
Unknown
Tags
Unknown
Event Timeline
makarius
committed
rISABELLEc2a2be496f35: tuned;
.
Dec 11 2021, 11:24 AM
2021-12-11 11:24:48 (UTC+1)
makarius
mentioned this in
rISABELLE70be57333ea1: Added tag Isabelle2021-1 for changeset c2a2be496f35
.
Dec 12 2021, 6:10 PM
2021-12-12 18:10:03 (UTC+1)