| changeset 62831 | 5560905a32ae |
| parent 62830 | 85024c0e953d |
| child 62832 | c1410bcf6e87 |
| 62830:85024c0e953d | 62831:5560905a32ae |
|---|---|
66 (isabelle_tool.name -> |
66 (isabelle_tool.name -> |
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(Doc.isabelle_tool) |
|
72 |
|
71 |
73 |
72 /* command line entry point */ |
74 /* command line entry point */ |
73 |
75 |
74 def main(args: Array[String]) |
76 def main(args: Array[String]) |
75 { |
77 { |