changeset 78301 | 9776f5278ae8 |
parent 77753 | 2b5b093a1c08 |
child 78315 | addecc8de2c4 |
--- a/src/Pure/System/isabelle_tool.scala Tue Jul 11 12:12:21 2023 +0200 +++ b/src/Pure/System/isabelle_tool.scala Tue Jul 11 15:01:38 2023 +0200 @@ -183,6 +183,7 @@ Component_SPASS.isabelle_tool, Component_SQLite.isabelle_tool, Component_Scala.isabelle_tool, + Component_Stack.isabelle_tool, Component_Vampire.isabelle_tool, Component_VeriT.isabelle_tool, Component_Zipperposition.isabelle_tool,