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 70967 79736ffe77c3
parent 70686 9cde8c4ea5a5
child 71097 d3ededaa77b3 
--- a/src/Pure/System/isabelle_tool.scala	Tue Oct 29 19:42:40 2019 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Wed Oct 30 15:50:57 2019 +0100
@@ -151,6 +151,8 @@
   ML_Process.isabelle_tool,
   Mkroot.isabelle_tool,
   Options.isabelle_tool,
+  Phabricator.isabelle_tool1,
+  Phabricator.isabelle_tool2,
   Present.isabelle_tool,
   Profiling_Report.isabelle_tool,
   Server.isabelle_tool,
isabelle