# HG changeset patch
# User wenzelm
# Date 1683666729 -7200
# Node ID 61c92140a6d29fc8e728a19bb692091efac9e579
# Parent  896e255d4fc4566cca1f6d85c3ee859bbee0fb9b
enforce rebuild of Isabelle/ML + Isabelle/Scala;

diff -r 896e255d4fc4 -r 61c92140a6d2 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue May 09 22:58:09 2023 +0200
+++ b/src/Pure/ROOT.ML	Tue May 09 23:12:09 2023 +0200
@@ -370,3 +370,4 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
+
diff -r 896e255d4fc4 -r 61c92140a6d2 src/Pure/ROOT.scala
--- a/src/Pure/ROOT.scala	Tue May 09 22:58:09 2023 +0200
+++ b/src/Pure/ROOT.scala	Tue May 09 23:12:09 2023 +0200
@@ -27,3 +27,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)
 }
+