src/Doc/System/Scala.thy
Sat, 24 Feb 2024 22:56:56 +0100 wenzelm clarified versions for documentation;
Sat, 25 Nov 2023 16:49:48 +0100 wenzelm removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
Sat, 25 Nov 2023 16:13:08 +0100 wenzelm provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
Sun, 15 Jan 2023 18:30:18 +0100 wenzelm isabelle update -u cite;
Fri, 23 Dec 2022 22:33:14 +0100 wenzelm update URL;
Fri, 22 Jul 2022 16:14:51 +0200 wenzelm tuned;
Sun, 27 Feb 2022 20:00:23 +0100 wenzelm misc tuning based on comments by Heiko Eißfeldt;
Tue, 21 Dec 2021 19:31:30 +0100 wenzelm support Gradle as alternative to Maven (again);
Tue, 07 Dec 2021 22:11:43 +0100 wenzelm proper ML types (amending 1aa92bc4d356);
Tue, 07 Dec 2021 22:04:46 +0100 wenzelm proper types for Scala.Fun instances (amending 1aa92bc4d356);
Wed, 03 Nov 2021 00:42:05 +0100 wenzelm IDE build actually works (but somewhat pointless);
Tue, 02 Nov 2021 14:05:02 +0100 wenzelm more robust "isabelle scala_project": Gradle has been replaced by Maven;
Tue, 27 Jul 2021 15:20:20 +0200 wenzelm various improvements of "isabelle scala_project";
Sat, 24 Jul 2021 16:40:10 +0200 wenzelm clarified properties: "module" and "no_build";
Sat, 24 Jul 2021 11:56:34 +0200 wenzelm tuned document;
less more (0) -15 tip