Wed, 03 Nov 2021 00:11:12 +0100 | wenzelm | removed junk; | file | diff | annotate |
Tue, 02 Nov 2021 14:05:02 +0100 | wenzelm | more robust "isabelle scala_project": Gradle has been replaced by Maven; | file | diff | annotate |
Sat, 02 Oct 2021 22:11:34 +0200 | wenzelm | provide Isabelle/jEdit plugins as services, and thus allow user components do the same; | file | diff | annotate |
Mon, 02 Aug 2021 14:08:42 +0200 | wenzelm | clarified jEdit java sources; | file | diff | annotate |
Mon, 02 Aug 2021 13:50:45 +0200 | wenzelm | clarified build.gradle: "compile" stopped working in gradle 6.x / 7.x for unknown reasons; | file | diff | annotate |
Tue, 27 Jul 2021 15:20:20 +0200 | wenzelm | various improvements of "isabelle scala_project"; | file | diff | annotate |