src/Tools/Code/code_scala.ML
Sun, 06 Apr 2025 14:20:41 +0200 haftmann reflect nested lists in variables names
Sun, 30 Mar 2025 13:50:06 +0200 haftmann tuned namespace organisation
Fri, 05 Apr 2024 17:47:09 +0200 wenzelm adjust generated Scala to make it work with scalac -old-syntax and -new-syntax, although the latter is not regularly tested;
less more (0) -100 -30 -10 -3 tip