Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
afp-devel
11f8b03a88ad
adjust usage version
11f8b03a88ad
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
adjust usage version
Details
Provenance
kleing
Authored on
Parents
rAFP6b9b455d46d7: set release version
Branches
Unknown
Tags
Unknown
Event Timeline
kleing
committed
rAFP11f8b03a88ad: adjust usage version
.
Dec 13 2021, 11:00 PM
2021-12-13 23:00:43 (UTC+1)
kleing
mentioned this in
rAFP1e4f140c6a1c: Added tag Isabelle2021-1 for changeset 11f8b03a88ad
.
Dec 13 2021, 11:10 PM
2021-12-13 23:10:45 (UTC+1)