changeset 66347 | 23eaab37e4a8 |
parent 65880 | 54c6ec4166a4 |
child 66530 | a3a847c4fbdb |
--- a/src/Pure/System/isabelle_tool.scala Sat Aug 05 15:48:02 2017 +0200 +++ b/src/Pure/System/isabelle_tool.scala Sat Aug 05 20:08:41 2017 +0200 @@ -115,6 +115,7 @@ Options.isabelle_tool, Profiling_Report.isabelle_tool, Remote_DMG.isabelle_tool, + Server.isabelle_tool, Update_Cartouches.isabelle_tool, Update_Header.isabelle_tool, Update_Then.isabelle_tool,