changeset 66845 | 6847eb01ae47 |
parent 66530 | a3a847c4fbdb |
child 67041 | f8b0367046bd |
--- a/src/Pure/System/isabelle_tool.scala Wed Oct 11 20:57:12 2017 +0200 +++ b/src/Pure/System/isabelle_tool.scala Wed Oct 11 21:36:53 2017 +0200 @@ -115,7 +115,7 @@ Options.isabelle_tool, Profiling_Report.isabelle_tool, Remote_DMG.isabelle_tool, - // FIXME Server.isabelle_tool, + Server.isabelle_tool, Update_Cartouches.isabelle_tool, Update_Header.isabelle_tool, Update_Then.isabelle_tool,