# HG changeset patch
# User wenzelm
# Date 1709324627 -3600
# Node ID a66588206ec55457ae74fbb77f31737b84aa8e7b
# Parent  788f11af98227dc3375cb244f76a28776955e2a2
update to scala-3.3.3;
enforce rebuild of Isabelle/Scala + Isabelle/ML;

diff -r 788f11af9822 -r a66588206ec5 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Fri Mar 01 20:31:23 2024 +0100
+++ b/Admin/components/components.sha1	Fri Mar 01 21:23:47 2024 +0100
@@ -473,6 +473,7 @@
 7677b02fe06c992ca6cf82bf68adb16287294256 scala-3.2.0.tar.gz
 bee1c9416a086e553057171e5cb571271ed02c60 scala-3.2.1.tar.gz
 989736bb2693fa2c484f45841364a0bcb642acc1 scala-3.3.0.tar.gz
+347437eb000f93bc751cbe6eccd31e7e798e10e5 scala-3.3.3.tar.gz
 abe7a3b50da529d557a478e9f631a22429418a67 smbc-0.4.1.tar.gz
 cbd491c0feba1d21019d05564e76dd04f592ccb4 spass-3.8ds-1.tar.gz
 edaa1268d82203067657aabcf0371ce7d4b579b9 spass-3.8ds-2.tar.gz
diff -r 788f11af9822 -r a66588206ec5 Admin/components/main
--- a/Admin/components/main	Fri Mar 01 20:31:23 2024 +0100
+++ b/Admin/components/main	Fri Mar 01 21:23:47 2024 +0100
@@ -30,7 +30,7 @@
 postgresql-42.7.1
 prismjs-1.29.0
 rsync-3.2.7
-scala-3.3.0
+scala-3.3.3
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.45.0.0
diff -r 788f11af9822 -r a66588206ec5 src/Pure/Admin/component_scala.scala
--- a/src/Pure/Admin/component_scala.scala	Fri Mar 01 20:31:23 2024 +0100
+++ b/src/Pure/Admin/component_scala.scala	Fri Mar 01 21:23:47 2024 +0100
@@ -34,7 +34,7 @@
   }
 
   val main_download: Download =
-    Download("scala", "3.3.0", base_version = "",
+    Download("scala", "3.3.3", base_version = "",
       url = "https://github.com/lampepfl/dotty/releases/download/{V}/scala3-{V}.tar.gz")
 
   val lib_downloads: List[Download] = List(
@@ -47,7 +47,7 @@
     Download("scala-swing", "3.0.0",
       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-swing_{B}/{V}",
       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-swing_{B}/{V}/scala-swing_{B}-{V}.jar"),
-    Download("scala-xml", "2.1.0",
+    Download("scala-xml", "2.2.0",
       "https://mvnrepository.com/artifact/org.scala-lang.modules/scala-xml_{B}/{V}",
       physical_url = "https://repo1.maven.org/maven2/org/scala-lang/modules/scala-xml_{B}/{V}/scala-xml_{B}-{V}.jar")
   )
diff -r 788f11af9822 -r a66588206ec5 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Fri Mar 01 20:31:23 2024 +0100
+++ b/src/Pure/ROOT.ML	Fri Mar 01 21:23:47 2024 +0100
@@ -372,4 +372,3 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
-
diff -r 788f11af9822 -r a66588206ec5 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Fri Mar 01 20:31:23 2024 +0100
+++ b/src/Pure/ROOT.scala	Fri Mar 01 21:23:47 2024 +0100
@@ -29,3 +29,4 @@
   def if_proper[A](x: Iterable[A], body: => String): String = Library.if_proper(x, body)
   def if_proper(b: Boolean, body: => String): String = Library.if_proper(b, body)
 }
+