changeset 64929 | 3b4e5fad4dc2 |
parent 64890 | d8ccbd5305bf |
child 65071 | 9ed87c82cbe7 |
--- a/src/Pure/System/isabelle_tool.scala Fri Jan 20 21:05:11 2017 +0100 +++ b/src/Pure/System/isabelle_tool.scala Sun Jan 22 00:30:10 2017 +0100 @@ -102,6 +102,7 @@ Build.isabelle_tool, Build_Doc.isabelle_tool, Build_Docker.isabelle_tool, + Build_JDK.isabelle_tool, Build_PolyML.isabelle_tool, Build_Stats.isabelle_tool, Check_Sources.isabelle_tool,