| changeset 62835 | 1a9ce1b13b20 |
| parent 62834 | 970cedec9748 |
| child 62836 | 98dbed6cfa44 |
| 62834:970cedec9748 | 62835:1a9ce1b13b20 |
|---|---|
69 } |
69 } |
70 |
70 |
71 register(Build.isabelle_tool) |
71 register(Build.isabelle_tool) |
72 register(Check_Sources.isabelle_tool) |
72 register(Check_Sources.isabelle_tool) |
73 register(Doc.isabelle_tool) |
73 register(Doc.isabelle_tool) |
74 register(ML_Process.isabelle_tool) |
|
74 register(Options.isabelle_tool) |
75 register(Options.isabelle_tool) |
75 |
76 |
76 |
77 |
77 /* command line entry point */ |
78 /* command line entry point */ |
78 |
79 |