src/Pure/System/isabelle_tool.scala
changeset 67041 f8b0367046bd
parent 66845 6847eb01ae47
child 67173 e746db6db903
     1.1 --- a/src/Pure/System/isabelle_tool.scala	Fri Nov 10 22:05:30 2017 +0100
     1.2 +++ b/src/Pure/System/isabelle_tool.scala	Sat Nov 11 14:35:41 2017 +0100
     1.3 @@ -110,6 +110,7 @@
     1.4        Check_Sources.isabelle_tool,
     1.5        Doc.isabelle_tool,
     1.6        Imports.isabelle_tool,
     1.7 +      Mkroot.isabelle_tool,
     1.8        ML_Process.isabelle_tool,
     1.9        NEWS.isabelle_tool,
    1.10        Options.isabelle_tool,