equal
deleted
inserted
replaced
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 */ |