src/Pure/Tools/scala_project.scala
Wed, 12 Feb 2025 13:32:04 +0100 wenzelm tuned: fewer warnings with scalac -Wunused:all;
Mon, 20 Nov 2023 19:52:46 +0100 wenzelm update to jdk-21.0.1;
Sun, 08 Oct 2023 15:02:01 +0200 wenzelm proper Scala version, e.g. for IntelliJ IDEA;
Fri, 08 Jul 2022 20:24:05 +0200 wenzelm more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
Thu, 07 Jul 2022 16:37:56 +0200 wenzelm tuned;
Tue, 05 Jul 2022 13:12:04 +0200 wenzelm switch to Scala 3;
Thu, 07 Apr 2022 20:15:58 +0200 wenzelm clarified versions;
less more (0) -30 -10 -7 tip