src/Pure/System/isabelle_tool.scala
changeset 64369 6a9816764b37
parent 64311 3d5e7719e878
child 64483 bba1d341bdf6
     1.1 --- a/src/Pure/System/isabelle_tool.scala	Mon Oct 24 11:48:32 2016 +0200
     1.2 +++ b/src/Pure/System/isabelle_tool.scala	Mon Oct 24 12:01:36 2016 +0200
     1.3 @@ -105,6 +105,7 @@
     1.4        Check_Sources.isabelle_tool,
     1.5        Doc.isabelle_tool,
     1.6        ML_Process.isabelle_tool,
     1.7 +      NEWS.isabelle_tool,
     1.8        Options.isabelle_tool,
     1.9        Profiling_Report.isabelle_tool,
    1.10        Remote_DMG.isabelle_tool,