changeset 64483 | bba1d341bdf6 |
parent 64369 | 6a9816764b37 |
child 64490 | abc34a149690 |
--- a/src/Pure/System/isabelle_tool.scala Thu Nov 10 21:54:58 2016 +0100 +++ b/src/Pure/System/isabelle_tool.scala Thu Nov 10 22:06:36 2016 +0100 @@ -101,6 +101,7 @@ List( Build.isabelle_tool, Build_Doc.isabelle_tool, + Build_PolyML.isabelle_tool, Build_Stats.isabelle_tool, Check_Sources.isabelle_tool, Doc.isabelle_tool,