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