changeset 76443 | 8dbb0b2f6576 |
parent 76399 | d0a1f3eb0982 |
child 76458 | cc6fd1695294 |
--- a/src/Pure/System/isabelle_tool.scala Fri Nov 04 20:02:54 2022 +0100 +++ b/src/Pure/System/isabelle_tool.scala Fri Nov 04 20:15:54 2022 +0100 @@ -166,6 +166,7 @@ Build_JDK.isabelle_tool, Build_JEdit.isabelle_tool, Build_LIPIcs.isabelle_tool, + Build_LLNCS.isabelle_tool, Build_Minisat.isabelle_tool, Build_PDFjs.isabelle_tool, Build_PolyML.isabelle_tool1,