Sat, 24 Feb 2024 22:56:56 +0100 |
wenzelm |
clarified versions for documentation;
|
file |
diff |
annotate
|
Sat, 25 Nov 2023 16:49:48 +0100 |
wenzelm |
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
|
file |
diff |
annotate
|
Sat, 25 Nov 2023 16:13:08 +0100 |
wenzelm |
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
|
file |
diff |
annotate
|
Sun, 15 Jan 2023 18:30:18 +0100 |
wenzelm |
isabelle update -u cite;
|
file |
diff |
annotate
|
Fri, 23 Dec 2022 22:33:14 +0100 |
wenzelm |
update URL;
|
file |
diff |
annotate
|
Fri, 22 Jul 2022 16:14:51 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 27 Feb 2022 20:00:23 +0100 |
wenzelm |
misc tuning based on comments by Heiko Eißfeldt;
|
file |
diff |
annotate
|
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
|
Sat, 24 Jul 2021 11:56:34 +0200 |
wenzelm |
tuned document;
|
file |
diff |
annotate
|