| Tue, 21 Dec 2021 19:31:30 +0100 | wenzelm | support Gradle as alternative to Maven (again); | file | diff | annotate |
| Tue, 07 Dec 2021 22:11:43 +0100 | wenzelm | proper ML types (amending 1aa92bc4d356); | file | diff | annotate |
| Tue, 07 Dec 2021 22:04:46 +0100 | wenzelm | proper types for Scala.Fun instances (amending 1aa92bc4d356); | file | diff | annotate |
| Wed, 03 Nov 2021 00:42:05 +0100 | wenzelm | IDE build actually works (but somewhat pointless); | 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 |
| Tue, 27 Jul 2021 15:20:20 +0200 | wenzelm | various improvements of "isabelle scala_project"; | file | diff | annotate |
| Sat, 24 Jul 2021 16:40:10 +0200 | wenzelm | clarified properties: "module" and "no_build"; | file | diff | annotate |