invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE16f2288b30cf: avoid odd PIDE markup, notably in kokodi input;
- Branches
- Unknown
- Tags
invoke Nitpick/Kodkod via Isabelle/Scala (instead of external process); Tags None Subscribers None |