# HG changeset patch
# User wenzelm
# Date 1674829346 -3600
# Node ID 4f68b165d69e6eb8bfa1d5d35f325006238e0d2a
# Parent  11d844d21f5cd2c16e9e6595456ffc523387642a
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;

diff -r 11d844d21f5c -r 4f68b165d69e Admin/components/main
--- 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
diff -r 11d844d21f5c -r 4f68b165d69e src/Pure/ROOT.ML
--- 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";
+
diff -r 11d844d21f5c -r 4f68b165d69e src/Pure/ROOT.scala
--- 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)
 }
+