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,