forked from Isabelle_DOF/Isabelle_DOF
Simplified installation
This commit is contained in:
parent
06833aa190
commit
c29ec9641a
Reference in New Issue