Home
Isabelle/Phabricator
Search
Configure Global Search
Log In
Paths
Table of Contents
t
Hide Panel
f
Keyboard Reference
?
Diffusion
Isabelle
ffb15f7f26d5
include arm64-linux;
ffb15f7f26d5
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
include arm64-linux;
Details
Provenance
makarius
Authored on
Parents
rISABELLEc876e8c61843: prefer existing OCaml installation;
Branches
Unknown
Tags
Unknown
Event Timeline
makarius
committed
rISABELLEffb15f7f26d5: include arm64-linux;
.
Oct 5 2021, 12:04 AM
2021-10-05 00:04:01 (UTC+2)