changeset 68116 | ac82ee617a75 |
parent 67433 | e0c0c1f0e3e7 |
child 68308 | 119fc05f6b00 |
--- a/src/Pure/System/isabelle_tool.scala Tue May 08 15:41:52 2018 +0200 +++ b/src/Pure/System/isabelle_tool.scala Tue May 08 20:24:08 2018 +0200 @@ -109,6 +109,7 @@ Build_Status.isabelle_tool, Check_Sources.isabelle_tool, Doc.isabelle_tool, + Export.isabelle_tool, Imports.isabelle_tool, Mkroot.isabelle_tool, ML_Process.isabelle_tool,