equal
deleted
inserted
replaced
224 Build_Vampire.isabelle_tool, |
224 Build_Vampire.isabelle_tool, |
225 Build_VeriT.isabelle_tool, |
225 Build_VeriT.isabelle_tool, |
226 Build_Zipperposition.isabelle_tool, |
226 Build_Zipperposition.isabelle_tool, |
227 Check_Sources.isabelle_tool, |
227 Check_Sources.isabelle_tool, |
228 Components.isabelle_tool, |
228 Components.isabelle_tool, |
|
229 Sync_Repos.isabelle_tool, |
229 isabelle.vscode.Build_VSCode.isabelle_tool, |
230 isabelle.vscode.Build_VSCode.isabelle_tool, |
230 isabelle.vscode.Build_VSCodium.isabelle_tool1, |
231 isabelle.vscode.Build_VSCodium.isabelle_tool1, |
231 isabelle.vscode.Build_VSCodium.isabelle_tool2, |
232 isabelle.vscode.Build_VSCodium.isabelle_tool2, |
232 isabelle.vscode.VSCode_Main.isabelle_tool) |
233 isabelle.vscode.VSCode_Main.isabelle_tool) |