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 72346 93e533198bf6
parent 72159 40b5ee5889d2
child 72363 fc5f10691147 
--- a/src/Pure/System/isabelle_tool.scala	Wed Sep 30 13:40:42 2020 +0000
+++ b/src/Pure/System/isabelle_tool.scala	Wed Sep 30 22:55:35 2020 +0200
@@ -176,6 +176,7 @@
   Build_JDK.isabelle_tool,
   Build_PolyML.isabelle_tool1,
   Build_PolyML.isabelle_tool2,
+  Build_SQLite.isabelle_tool,
   Build_Status.isabelle_tool,
   Check_Sources.isabelle_tool,
   Components.isabelle_tool,
isabelle