disable Isabelle/Naproche for now: does not quite work on Windows;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE2f36a3c653d3: update and activate naproche component for release;
- Branches
- Unknown
- Tags
disable Isabelle/Naproche for now: does not quite work on Windows; Tags None Subscribers None |