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