reactivated unfinished tool (cf. a3a847c4fbdb);
authorwenzelm
Wed Oct 11 21:36:53 2017 +0200 (21 months ago)
changeset 668456847eb01ae47
parent 66844 0746d4781674
child 66846 c04f46a6f29d
reactivated unfinished tool (cf. a3a847c4fbdb);
src/Pure/System/isabelle_tool.scala
     1.1 --- a/src/Pure/System/isabelle_tool.scala	Wed Oct 11 20:57:12 2017 +0200
     1.2 +++ b/src/Pure/System/isabelle_tool.scala	Wed Oct 11 21:36:53 2017 +0200
     1.3 @@ -115,7 +115,7 @@
     1.4        Options.isabelle_tool,
     1.5        Profiling_Report.isabelle_tool,
     1.6        Remote_DMG.isabelle_tool,
     1.7 -      // FIXME Server.isabelle_tool,
     1.8 +      Server.isabelle_tool,
     1.9        Update_Cartouches.isabelle_tool,
    1.10        Update_Header.isabelle_tool,
    1.11        Update_Then.isabelle_tool,