equal
deleted
inserted
replaced
112 Remote_DMG.isabelle_tool, |
112 Remote_DMG.isabelle_tool, |
113 Update_Cartouches.isabelle_tool, |
113 Update_Cartouches.isabelle_tool, |
114 Update_Header.isabelle_tool, |
114 Update_Header.isabelle_tool, |
115 Update_Then.isabelle_tool, |
115 Update_Then.isabelle_tool, |
116 Update_Theorems.isabelle_tool, |
116 Update_Theorems.isabelle_tool, |
|
117 isabelle.vscode.Grammar.isabelle_tool, |
117 isabelle.vscode.Server.isabelle_tool) |
118 isabelle.vscode.Server.isabelle_tool) |
118 |
119 |
119 private def list_internal(): List[(String, String)] = |
120 private def list_internal(): List[(String, String)] = |
120 for (tool <- internal_tools.toList if tool.accessible) |
121 for (tool <- internal_tools.toList if tool.accessible) |
121 yield (tool.name, tool.description) |
122 yield (tool.name, tool.description) |