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 72652 07edf1952ab1
parent 72466 04403e1ef176
child 72761 4519eeefe3b5 
--- a/src/Pure/System/isabelle_tool.scala	Wed Nov 18 15:47:53 2020 +0100
+++ b/src/Pure/System/isabelle_tool.scala	Wed Nov 18 15:52:12 2020 +0100
@@ -155,7 +155,7 @@
   Phabricator.isabelle_tool2,
   Phabricator.isabelle_tool3,
   Phabricator.isabelle_tool4,
-  Present.isabelle_tool,
+  Presentation.isabelle_tool,
   Profiling_Report.isabelle_tool,
   Server.isabelle_tool,
   Sessions.isabelle_tool,
isabelle