src/Pure/System/scala.scala
Fri, 22 Apr 2022 10:11:06 +0200 wenzelm clarified management of interpreter threads: more generic;
Thu, 21 Apr 2022 11:49:53 +0200 wenzelm clarified signature;
Thu, 21 Apr 2022 11:28:50 +0200 wenzelm clarified signature;
Thu, 21 Apr 2022 10:07:17 +0200 wenzelm clarified signature, based on hints by IntelliJ IDEA;
Thu, 21 Apr 2022 10:03:38 +0200 wenzelm tuned signature;
Sat, 09 Apr 2022 12:29:39 +0200 wenzelm revert 2c861b196d52: still required in HOL/Library/Code_Test.thy;
Fri, 08 Apr 2022 09:58:49 +0200 wenzelm removed unused flag (see 25c6423ec538);
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Thu, 31 Mar 2022 21:51:19 +0200 wenzelm tuned: avoid problems with scala3;
Thu, 12 Aug 2021 14:18:46 +0200 wenzelm provide bash_process server for Isabelle/ML and other external programs;
Thu, 15 Jul 2021 17:33:06 +0200 wenzelm more robust: avoid duplicate classpath entries;
Thu, 15 Jul 2021 16:35:45 +0200 wenzelm build.props for isabelle.jar, including isabelle.jedit;
Sun, 16 May 2021 13:34:27 +0200 wenzelm tuned signature --- following hints by IntelliJ IDEA;
Mon, 12 Apr 2021 22:57:39 +0200 wenzelm support for base64 via Isabelle/Scala/ML;
Mon, 12 Apr 2021 22:26:09 +0200 wenzelm clarified signature;
Mon, 12 Apr 2021 18:10:13 +0200 wenzelm clarified signature for Scala functions;
Wed, 31 Mar 2021 22:58:17 +0200 wenzelm further clarification of Isabelle distribution identification -- avoid odd patching of sources;
Sun, 14 Mar 2021 15:28:44 +0100 wenzelm support for SystemOnTPTP.run_system, with strict error following scripts/remote_atp;
Sat, 13 Mar 2021 12:36:24 +0100 wenzelm clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;
Fri, 12 Mar 2021 23:30:35 +0100 wenzelm support for SystemOnTPTP in Isabelle/ML and Isabelle/Scala (without perl);
Thu, 04 Mar 2021 21:04:27 +0100 wenzelm clarified signature --- fewer warnings;
Wed, 03 Mar 2021 22:28:03 +0100 wenzelm more robust error;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Sat, 27 Feb 2021 22:17:56 +0100 wenzelm more Isabelle/ML/Scala operations;
Sat, 27 Feb 2021 21:36:58 +0100 wenzelm more Isabelle/ML/Scala operations;
Sat, 27 Feb 2021 21:01:07 +0100 wenzelm more Isabelle/ML/Scala operations;
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);
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;
Sat, 16 Jan 2021 22:52:43 +0100 wenzelm updated to scala-2.13.4;
Sat, 28 Nov 2020 21:56:24 +0100 wenzelm added document antiquotation @{tool};
less more (0) -50 -30 tip