updated to kodkodi-1.5.3: include KODKODI_CLASSPATH for Isabelle/Scala;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf5722290a4d0: allow user-defined server commands via isabelle_scala_service;
- Branches
- Unknown
- Tags