152 Profiling_Report.isabelle_tool, |
152 Profiling_Report.isabelle_tool, |
153 Scala_Project.isabelle_tool, |
153 Scala_Project.isabelle_tool, |
154 Server.isabelle_tool, |
154 Server.isabelle_tool, |
155 Sessions.isabelle_tool, |
155 Sessions.isabelle_tool, |
156 Sync.isabelle_tool, |
156 Sync.isabelle_tool, |
157 Update.isabelle_tool, |
|
158 Update_Cartouches.isabelle_tool, |
157 Update_Cartouches.isabelle_tool, |
159 Update_Comments.isabelle_tool, |
158 Update_Comments.isabelle_tool, |
160 Update_Header.isabelle_tool, |
159 Update_Header.isabelle_tool, |
161 Update_Then.isabelle_tool, |
160 Update_Then.isabelle_tool, |
162 Update_Theorems.isabelle_tool, |
161 Update_Theorems.isabelle_tool, |
|
162 Update_Tool.isabelle_tool, |
163 isabelle.mirabelle.Mirabelle.isabelle_tool, |
163 isabelle.mirabelle.Mirabelle.isabelle_tool, |
164 isabelle.vscode.Language_Server.isabelle_tool, |
164 isabelle.vscode.Language_Server.isabelle_tool, |
165 isabelle.vscode.VSCode_Main.isabelle_tool) |
165 isabelle.vscode.VSCode_Main.isabelle_tool) |
166 |
166 |
167 class Admin_Tools extends Isabelle_Scala_Tools( |
167 class Admin_Tools extends Isabelle_Scala_Tools( |