Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Diffusion
Poly/ML
ab0a8c56fe6d
Update version numbers for release.
ab0a8c56fe6d
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
This commit no longer exists in the repository. It may have been part of a branch which was deleted.
Description
Update version numbers for release.
Details
Provenance
dcjm
Authored on Fri, Sep 15, 5:56 PM
Event Timeline
dcjm
committed
rPOLYMLab0a8c56fe6d: Update version numbers for release.
(authored by
dcjm
).
Fri, Sep 15, 5:56 PM
2023-09-15 17:56:22 (UTC+2)
Commit No Longer Exists
This commit no longer exists in the repository.