lib/Tools/scala
Thu, 20 Oct 2022 14:59:39 +0200 wenzelm more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac;
Fri, 16 Sep 2022 16:02:28 +0200 wenzelm avoid crash of JLine on Windows;
Tue, 05 Jul 2022 13:12:04 +0200 wenzelm switch to Scala 3;
less more (0) -10 -3 tip