changeset 68308 | 119fc05f6b00 |
parent 68116 | ac82ee617a75 |
child 69168 | 68816d1c73a7 |
--- a/src/Pure/System/isabelle_tool.scala Mon May 28 21:29:03 2018 +0200 +++ b/src/Pure/System/isabelle_tool.scala Mon May 28 22:25:10 2018 +0200 @@ -109,6 +109,7 @@ Build_Status.isabelle_tool, Check_Sources.isabelle_tool, Doc.isabelle_tool, + Dump.isabelle_tool, Export.isabelle_tool, Imports.isabelle_tool, Mkroot.isabelle_tool,