changeset 66530 | a3a847c4fbdb |
parent 66347 | 23eaab37e4a8 |
child 66845 | 6847eb01ae47 |
--- a/src/Pure/System/isabelle_tool.scala Mon Aug 28 19:06:00 2017 +0200 +++ b/src/Pure/System/isabelle_tool.scala Mon Aug 28 20:15:11 2017 +0200 @@ -115,7 +115,7 @@ Options.isabelle_tool, Profiling_Report.isabelle_tool, Remote_DMG.isabelle_tool, - Server.isabelle_tool, + // FIXME Server.isabelle_tool, Update_Cartouches.isabelle_tool, Update_Header.isabelle_tool, Update_Then.isabelle_tool,