Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/isabelle_tool.scala
changeset 75377 4ce7d95612cb
parent 75292 4ce0a4d90dfa
child 75393 87ebf5a50283 
--- a/src/Pure/System/isabelle_tool.scala	Fri Mar 25 17:21:39 2022 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Sat Mar 26 14:12:38 2022 +0100
@@ -227,6 +227,7 @@
   Build_PolyML.isabelle_tool2,
   Build_SPASS.isabelle_tool,
   Build_SQLite.isabelle_tool,
+  Build_Scala.isabelle_tool,
   Build_Status.isabelle_tool,
   Build_Vampire.isabelle_tool,
   Build_VeriT.isabelle_tool,
isabelle