| 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
|
| Fri, 14 Aug 2020 13:26:12 +0200 |
wenzelm |
clarified protocol: ML worker thread blocks and awaits result from Scala, to avoid excessive replacement threads;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 20:46:50 +0200 |
wenzelm |
omit pointless memoing: Scala compiler is rather bulky anyway;
|
file |
diff |
annotate
|
| Mon, 25 May 2020 20:43:19 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 24 May 2020 20:35:24 +0200 |
wenzelm |
more accurate classpath for "isabelle scala";
|
file |
diff |
annotate
|
| Sun, 24 May 2020 19:45:42 +0200 |
wenzelm |
proper check of registered Scala functions;
|
file |
diff |
annotate
|
| Sun, 24 May 2020 10:28:04 +0200 |
wenzelm |
unused;
|
file |
diff |
annotate
|
| Sat, 23 May 2020 22:09:55 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 23 May 2020 21:58:44 +0200 |
wenzelm |
check Scala source snippets from ML;
|
file |
diff |
annotate
|
| Sat, 23 May 2020 21:43:30 +0200 |
wenzelm |
more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment;
|
file |
diff |
annotate
|
| Sat, 23 May 2020 12:04:24 +0200 |
wenzelm |
init default context;
|
file |
diff |
annotate
|
| Sat, 23 May 2020 11:33:45 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Sat, 23 May 2020 11:27:35 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sat, 23 May 2020 10:54:04 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Fri, 22 May 2020 15:53:47 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 22 May 2020 12:18:09 +0200 |
wenzelm |
more robust, notably for "isabelle scala";
|
file |
diff |
annotate
|
| Wed, 20 May 2020 22:07:41 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Wed, 20 May 2020 20:45:43 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|