| Thu, 12 Oct 2023 20:58:15 +0200 |
wenzelm |
clarified user errors vs. failures, e.g. java.lang.StackOverflowError;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 17:10:48 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 17:06:24 +0200 |
wenzelm |
clarified signature: prefer enum types;
|
file |
diff |
annotate
|
| Fri, 20 Jan 2023 19:52:52 +0100 |
wenzelm |
more direct check of bibtex entries via Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 20 Jan 2023 16:30:09 +0100 |
wenzelm |
support Session argument for Scala.Fun;
|
file |
diff |
annotate
|
| Fri, 25 Nov 2022 21:58:40 +0100 |
wenzelm |
update to scala-3.2.1;
|
file |
diff |
annotate
|
| Sun, 13 Nov 2022 20:28:39 +0100 |
wenzelm |
ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2022 16:39:31 +0200 |
wenzelm |
generic support for XZ and Zstd compression in Isabelle/Scala;
|
file |
diff |
annotate
|
| Wed, 27 Jul 2022 11:08:15 +0200 |
wenzelm |
more robust: retain Classpath value;
|
file |
diff |
annotate
|
| Wed, 27 Jul 2022 09:27:40 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 26 Jul 2022 19:06:03 +0200 |
wenzelm |
proper classpath for Scala compiler invocation (amending 14e22b525b13);
|
file |
diff |
annotate
|
| Mon, 25 Jul 2022 11:19:08 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2022 16:11:14 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 08 Jul 2022 22:29:26 +0200 |
wenzelm |
support for Isabelle/Scala/Java modules in Isabelle/ML;
|
file |
diff |
annotate
|
| Tue, 05 Jul 2022 13:12:04 +0200 |
wenzelm |
switch to Scala 3;
|
file |
diff |
annotate
|
| Sat, 25 Jun 2022 13:19:15 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2022 13:42:30 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2022 11:09:31 +0200 |
wenzelm |
clarified types and defaults;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2022 23:27:26 +0200 |
wenzelm |
support XZ compression in Isabelle/ML;
|
file |
diff |
annotate
|
| Fri, 22 Apr 2022 10:11:06 +0200 |
wenzelm |
clarified management of interpreter threads: more generic;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2022 11:49:53 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2022 11:28:50 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2022 10:07:17 +0200 |
wenzelm |
clarified signature, based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Thu, 21 Apr 2022 10:03:38 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2022 12:29:39 +0200 |
wenzelm |
revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;
|
file |
diff |
annotate
|
| Fri, 08 Apr 2022 09:58:49 +0200 |
wenzelm |
removed unused flag (see 25c6423ec538);
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 17:06:10 +0200 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| Thu, 31 Mar 2022 21:51:19 +0200 |
wenzelm |
tuned: avoid problems with scala3;
|
file |
diff |
annotate
|
| Thu, 12 Aug 2021 14:18:46 +0200 |
wenzelm |
provide bash_process server for Isabelle/ML and other external programs;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 17:33:06 +0200 |
wenzelm |
more robust: avoid duplicate classpath entries;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 16:35:45 +0200 |
wenzelm |
build.props for isabelle.jar, including isabelle.jedit;
|
file |
diff |
annotate
|
| Sun, 16 May 2021 13:34:27 +0200 |
wenzelm |
tuned signature --- following hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 22:57:39 +0200 |
wenzelm |
support for base64 via Isabelle/Scala/ML;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 22:26:09 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:10:13 +0200 |
wenzelm |
clarified signature for Scala functions;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Sun, 14 Mar 2021 15:28:44 +0100 |
wenzelm |
support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp;
|
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
|
| Fri, 12 Mar 2021 23:30:35 +0100 |
wenzelm |
support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl);
|
file |
diff |
annotate
|
| Thu, 04 Mar 2021 21:04:27 +0100 |
wenzelm |
clarified signature --- fewer warnings;
|
file |
diff |
annotate
|
| Wed, 03 Mar 2021 22:28:03 +0100 |
wenzelm |
more robust error;
|
file |
diff |
annotate
|
| Mon, 01 Mar 2021 22:22:12 +0100 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 22:17:56 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 21:36:58 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 21:01:07 +0100 |
wenzelm |
more Isabelle/ML/Scala operations;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 17:25:54 +0100 |
wenzelm |
more direct make_directory in ML and Scala, but ssh still requires perl for Windows UNC paths (see a5dbad753552);
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 16:31:43 +0100 |
wenzelm |
support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
|
file |
diff |
annotate
|
| Sat, 16 Jan 2021 22:52:43 +0100 |
wenzelm |
updated to scala-2.13.4;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 21:56:24 +0100 |
wenzelm |
added document antiquotation @{tool};
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 17:38:03 +0100 |
wenzelm |
clarified protocol: Doc.check at run-time via Scala function;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 15:17:14 +0100 |
wenzelm |
more positions;
|
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, 25 Sep 2020 13:28:28 +0200 |
wenzelm |
clarified signature: proper eval/print via interpret;
|
file |
diff |
annotate
|
| Thu, 27 Aug 2020 12:43:06 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 27 Aug 2020 12:34:10 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2020 20:37:31 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Sat, 22 Aug 2020 20:32:44 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 16 Aug 2020 11:57:15 +0200 |
wenzelm |
clarified management of services: static declarations vs. dynamic instances (e.g. relevant for stateful Session.Protocol_Handler, notably Scala.Handler and session "System");
|
file |
diff |
annotate
|
| Sat, 15 Aug 2020 13:45:25 +0200 |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| Fri, 14 Aug 2020 13:59:09 +0200 |
wenzelm |
clarified demo functions;
|
file |
diff |
annotate
|