| 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
|
| Sun, 18 Jul 2021 21:46:16 +0200 |
wenzelm |
updated documentation on Isabelle/Scala;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
|
| Sat, 13 Mar 2021 12:36:24 +0100 |
wenzelm |
clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 16:25:29 +0100 |
wenzelm |
more antiquotations (reverting 4df341249348);
|
file |
diff |
annotate
|
| Tue, 29 Sep 2020 13:19:34 +0200 |
wenzelm |
allow Scala function execution on separate thread: better reactivity, but potential overloading of the JVM;
|
file |
diff |
annotate
|
| Fri, 11 Sep 2020 12:17:19 +0200 |
wenzelm |
updated documentation;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2020 23:31:20 +0200 |
wenzelm |
proper name (amending 742d94015918);
|
file |
diff |
annotate
|
| Thu, 06 Aug 2020 22:43:40 +0200 |
wenzelm |
discontinued old batch-build functionality;
|
file |
diff |
annotate
|
| Wed, 27 May 2020 16:05:17 +0200 |
wenzelm |
more documentation on Isabelle/Scala;
|
file |
diff |
annotate
|
| Tue, 26 May 2020 12:09:36 +0200 |
wenzelm |
proper check of example;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 22:37:14 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Sat, 07 Mar 2020 12:14:51 +0100 |
wenzelm |
proper option;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2020 22:52:46 +0100 |
wenzelm |
clarified command line;
|
file |
diff |
annotate
|