clarified default for kodkod_scala;
NEWS for proper release;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE90242c744a1a: maintain option kodkod_scala within theory context, to allow local modification;
- Branches
- Unknown
- Tags