proper isabelle_home_prefix;
proper isabelle_options, with link;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa95f5ae5a12a: discontinued macOS JavaAppLauncher: re-use plain shell script;
- Branches
- Unknown
- Tags