| changeset 73691 | 2f9877db82a1 |
| parent 73653 | d9823224fcfe |
| child 73718 | ecb31c3bf980 |
--- a/src/Pure/System/isabelle_tool.scala Thu May 13 15:52:10 2021 +0200 +++ b/src/Pure/System/isabelle_tool.scala Fri May 14 21:32:11 2021 +0200 @@ -209,6 +209,7 @@ Update_Header.isabelle_tool, Update_Then.isabelle_tool, Update_Theorems.isabelle_tool, + isabelle.mirabelle.Mirabelle.isabelle_tool, isabelle.vscode.TextMate_Grammar.isabelle_tool, isabelle.vscode.Language_Server.isabelle_tool)