changeset 73476 | 6b480efe1bc3 |
parent 73399 | 48569c862eb8 |
child 73565 | 1aa92bc4d356 |
--- a/src/Pure/System/isabelle_tool.scala Tue Mar 23 19:47:15 2021 +0100 +++ b/src/Pure/System/isabelle_tool.scala Wed Mar 24 21:17:19 2021 +0100 @@ -218,6 +218,7 @@ Build_Doc.isabelle_tool, Build_E.isabelle_tool, Build_Fonts.isabelle_tool, + Build_JCEF.isabelle_tool, Build_JDK.isabelle_tool, Build_PolyML.isabelle_tool1, Build_PolyML.isabelle_tool2,