src/Pure/System/isabelle_tool.scala
changeset 62834 970cedec9748
parent 62833 29dfa2ed9343
child 62835 1a9ce1b13b20
equal deleted inserted replaced
62833:29dfa2ed9343 62834:970cedec9748
    67           (isabelle_tool.description,
    67           (isabelle_tool.description,
    68             args => Command_Line.tool0 { isabelle_tool.body(args) }))
    68             args => Command_Line.tool0 { isabelle_tool.body(args) }))
    69     }
    69     }
    70 
    70 
    71   register(Build.isabelle_tool)
    71   register(Build.isabelle_tool)
       
    72   register(Check_Sources.isabelle_tool)
    72   register(Doc.isabelle_tool)
    73   register(Doc.isabelle_tool)
    73   register(Options.isabelle_tool)
    74   register(Options.isabelle_tool)
    74 
    75 
    75 
    76 
    76   /* command line entry point */
    77   /* command line entry point */