changeset 79569 | b5d199871f2f |
parent 79182 | 6202d0ff36b4 |
child 79620 | 3914bca631b9 |
--- a/src/Pure/System/isabelle_tool.scala Fri Feb 02 22:46:45 2024 +0100 +++ b/src/Pure/System/isabelle_tool.scala Sun Feb 04 19:32:45 2024 +0100 @@ -192,6 +192,7 @@ Component_Stack.isabelle_tool, Component_Vampire.isabelle_tool, Component_VeriT.isabelle_tool, + Component_Windows_App.isabelle_tool, Component_Zipperposition.isabelle_tool, Component_Zstd.isabelle_tool, Components.isabelle_tool,