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.
enforce rebuild of Isabelle/ML + Isabelle/Scala;
authorwenzelm
Tue, 09 May 2023 23:12:09 +0200
changeset 78012 61c92140a6d2
parent 78011 896e255d4fc4
child 78013 f5b67198b019
enforce rebuild of Isabelle/ML + Isabelle/Scala;
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions
src/Pure/ROOT.scala file | annotate | diff | comparison | revisions 
--- 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";
+
--- 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)
 }
+
isabelle