| changeset 62835 | 1a9ce1b13b20 |
| parent 62834 | 970cedec9748 |
| child 62836 | 98dbed6cfa44 |
--- a/src/Pure/System/isabelle_tool.scala Sun Apr 03 22:45:40 2016 +0200 +++ b/src/Pure/System/isabelle_tool.scala Sun Apr 03 22:54:31 2016 +0200 @@ -71,6 +71,7 @@ register(Build.isabelle_tool) register(Check_Sources.isabelle_tool) register(Doc.isabelle_tool) + register(ML_Process.isabelle_tool) register(Options.isabelle_tool)