src/Pure/Tools/scala_project.scala
Thu, 17 Feb 2022 12:22:47 +0100 wenzelm more robust package_dir, to increase chances that it works with IntelliJ IDEA;
Tue, 21 Dec 2021 19:31:30 +0100 wenzelm support Gradle as alternative to Maven (again);
Mon, 22 Nov 2021 23:08:57 +0100 wenzelm more robust support for Windows line-endings;
Tue, 09 Nov 2021 11:20:38 +0100 wenzelm proper java_version for isabelle_setup;
Wed, 03 Nov 2021 00:11:12 +0100 wenzelm removed junk;
Tue, 02 Nov 2021 14:05:02 +0100 wenzelm more robust "isabelle scala_project": Gradle has been replaced by Maven;
Sat, 02 Oct 2021 22:11:34 +0200 wenzelm provide Isabelle/jEdit plugins as services, and thus allow user components do the same;
Mon, 02 Aug 2021 14:08:42 +0200 wenzelm clarified jEdit java sources;
less more (0) -30 -10 -8 tip