| 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 |