HomeIsabelle/Phabricator

adjust generated Scala to make it work with scalac -old-syntax and -new-syntax…

Description

adjust generated Scala to make it work with scalac -old-syntax and -new-syntax, although the latter is not regularly tested;

Details

Provenance
makariusAuthored on
Parents
rISABELLE5c73934777fc: Add entry on Sketch_and_Explore to CONTRIBUTORS
Branches
Unknown
Tags
Unknown