remove the explicit file checking when using a developer version of Isabelle
Description
Description
Details
Details
- Provenance
Frédéric Tuong Authored on - Parents
- rAFP795d500481e7: merge
- Branches
- Unknown
- Tags
remove the explicit file checking when using a developer version of Isabelle Tags None Subscribers None |