src/Pure/System/isabelle_tool.scala
changeset 62831 5560905a32ae
parent 62830 85024c0e953d
child 62832 c1410bcf6e87
     1.1 --- a/src/Pure/System/isabelle_tool.scala	Sun Apr 03 22:15:40 2016 +0200
     1.2 +++ b/src/Pure/System/isabelle_tool.scala	Sun Apr 03 22:31:16 2016 +0200
     1.3 @@ -68,6 +68,8 @@
     1.4              args => Command_Line.tool0 { isabelle_tool.body(args) }))
     1.5      }
     1.6  
     1.7 +  register(Doc.isabelle_tool)
     1.8 +
     1.9  
    1.10    /* command line entry point */
    1.11