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 71109 8c1c717a830b
parent 71097 d3ededaa77b3
child 71312 937328d61436 
--- a/src/Pure/System/isabelle_tool.scala	Wed Nov 13 16:50:48 2019 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Wed Nov 13 17:33:59 2019 +0100
@@ -154,6 +154,7 @@
   Phabricator.isabelle_tool1,
   Phabricator.isabelle_tool2,
   Phabricator.isabelle_tool3,
+  Phabricator.isabelle_tool4,
   Present.isabelle_tool,
   Profiling_Report.isabelle_tool,
   Server.isabelle_tool,
isabelle