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;
less more (0) -30 -10 -7 tip