adjust generated Scala to make it work with scalac -old-syntax and -new-syntax, although the latter is not regularly tested;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE5c73934777fc: Add entry on Sketch_and_Explore to CONTRIBUTORS
- Branches
- Unknown
- Tags