changeset 63688 | cc57255bf6ae |
parent 63519 | 78401d628718 |
child 64143 | 578e71c2c976 |
--- a/src/Pure/System/isabelle_tool.scala Sat Aug 13 23:33:58 2016 +0200 +++ b/src/Pure/System/isabelle_tool.scala Sat Aug 13 23:45:29 2016 +0200 @@ -101,6 +101,7 @@ List( Build.isabelle_tool, Build_Doc.isabelle_tool, + Build_Stats.isabelle_tool, Check_Sources.isabelle_tool, Doc.isabelle_tool, ML_Process.isabelle_tool,