changeset 65743 | 4847ca570454 |
parent 65606 | d2f83588080f |
child 65880 | 54c6ec4166a4 |
--- a/src/Pure/System/isabelle_tool.scala Sat May 06 12:59:16 2017 +0200 +++ b/src/Pure/System/isabelle_tool.scala Sat May 06 19:23:33 2017 +0200 @@ -105,7 +105,7 @@ Build_Docker.isabelle_tool, Build_JDK.isabelle_tool, Build_PolyML.isabelle_tool, - Build_Stats.isabelle_tool, + Build_Status.isabelle_tool, Check_Sources.isabelle_tool, Doc.isabelle_tool, Imports.isabelle_tool,