changeset 69168 | 68816d1c73a7 |
parent 68308 | 119fc05f6b00 |
child 69277 | 258bef08b31e |
--- a/src/Pure/System/isabelle_tool.scala Sun Oct 21 14:35:46 2018 +0200 +++ b/src/Pure/System/isabelle_tool.scala Sun Oct 21 18:32:33 2018 +0200 @@ -114,7 +114,6 @@ Imports.isabelle_tool, Mkroot.isabelle_tool, ML_Process.isabelle_tool, - NEWS.isabelle_tool, Options.isabelle_tool, Present.isabelle_tool, Profiling_Report.isabelle_tool,