src/Pure/System/scala.scala
Wed, 12 Feb 2025 00:40:57 +0100 wenzelm removed unused imports;
Thu, 12 Oct 2023 20:58:15 +0200 wenzelm clarified user errors vs. failures, e.g. java.lang.StackOverflowError;
Tue, 29 Aug 2023 17:10:48 +0200 wenzelm clarified signature: prefer enum types;
Tue, 29 Aug 2023 17:06:24 +0200 wenzelm clarified signature: prefer enum types;
Fri, 20 Jan 2023 19:52:52 +0100 wenzelm more direct check of bibtex entries via Isabelle/Scala;
Fri, 20 Jan 2023 16:30:09 +0100 wenzelm support Session argument for Scala.Fun;
Fri, 25 Nov 2022 21:58:40 +0100 wenzelm update to scala-3.2.1;
Sun, 13 Nov 2022 20:28:39 +0100 wenzelm ML support for the Prism.js syntax highlighter -- via Isabelle/Scala;
Fri, 21 Oct 2022 16:39:31 +0200 wenzelm generic support for XZ and Zstd compression in Isabelle/Scala;
Wed, 27 Jul 2022 11:08:15 +0200 wenzelm more robust: retain Classpath value;
Wed, 27 Jul 2022 09:27:40 +0200 wenzelm clarified modules;
Tue, 26 Jul 2022 19:06:03 +0200 wenzelm proper classpath for Scala compiler invocation (amending 14e22b525b13);
Mon, 25 Jul 2022 11:19:08 +0200 wenzelm tuned signature;
Tue, 12 Jul 2022 16:11:14 +0200 wenzelm clarified signature;
Fri, 08 Jul 2022 22:29:26 +0200 wenzelm support for Isabelle/Scala/Java modules in Isabelle/ML;
Tue, 05 Jul 2022 13:12:04 +0200 wenzelm switch to Scala 3;
Sat, 25 Jun 2022 13:19:15 +0200 wenzelm clarified modules;
Wed, 22 Jun 2022 13:42:30 +0200 wenzelm clarified signature;
Wed, 22 Jun 2022 11:09:31 +0200 wenzelm clarified types and defaults;
Tue, 21 Jun 2022 23:27:26 +0200 wenzelm support XZ compression in Isabelle/ML;
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;
less more (0) -50 -30 tip