Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()");
authorwenzelm
Fri, 27 Jan 2023 15:22:26 +0100
changeset 77108 4f68b165d69e
parent 77103 11d844d21f5c
child 77109 e3a2b3536030
back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()"); enforce rebuild of Isabelle/ML + Isabelle/Scala;
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions
src/Pure/ROOT.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Fri Jan 27 13:57:52 2023 +0000
+++ b/Admin/components/main	Fri Jan 27 15:22:26 2023 +0100
@@ -28,7 +28,7 @@
 polyml-test-bafe319bc3a6-1
 postgresql-42.5.0
 prismjs-1.29.0
-scala-3.2.1
+scala-3.2.0-2
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.39.4.1
--- a/src/Pure/ROOT.ML	Fri Jan 27 13:57:52 2023 +0000
+++ b/src/Pure/ROOT.ML	Fri Jan 27 15:22:26 2023 +0100
@@ -366,3 +366,4 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
+
--- a/src/Pure/ROOT.scala	Fri Jan 27 13:57:52 2023 +0000
+++ b/src/Pure/ROOT.scala	Fri Jan 27 15:22:26 2023 +0100
@@ -21,3 +21,4 @@
   val proper_string = Library.proper_string _
   def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list)
 }
+
isabelle