| changeset 72466 | 04403e1ef176 |
| parent 72439 | 7f6800b2e8c2 |
| child 72652 | 07edf1952ab1 |
--- a/src/Pure/System/isabelle_tool.scala Tue Oct 13 18:55:04 2020 +0200 +++ b/src/Pure/System/isabelle_tool.scala Tue Oct 13 19:12:58 2020 +0200 @@ -182,6 +182,7 @@ Build_SQLite.isabelle_tool, Build_Status.isabelle_tool, Build_VeriT.isabelle_tool, + Build_Zipperposition.isabelle_tool, Check_Sources.isabelle_tool, Components.isabelle_tool, isabelle.vscode.Build_VSCode.isabelle_tool)