changeset 72363 | fc5f10691147 |
parent 72346 | 93e533198bf6 |
child 72411 | b8cc129ece05 |
--- a/src/Pure/System/isabelle_tool.scala Fri Oct 02 21:18:27 2020 +0200 +++ b/src/Pure/System/isabelle_tool.scala Fri Oct 02 22:59:30 2020 +0200 @@ -172,6 +172,7 @@ class Admin_Tools extends Isabelle_Scala_Tools( Build_Cygwin.isabelle_tool, Build_Doc.isabelle_tool, + Build_E.isabelle_tool, Build_Fonts.isabelle_tool, Build_JDK.isabelle_tool, Build_PolyML.isabelle_tool1,