equal
deleted
inserted
replaced
111 Profiling_Report.isabelle_tool, |
111 Profiling_Report.isabelle_tool, |
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.Server.isabelle_tool) |
117 |
118 |
118 private def list_internal(): List[(String, String)] = |
119 private def list_internal(): List[(String, String)] = |
119 for (tool <- internal_tools.toList if tool.accessible) |
120 for (tool <- internal_tools.toList if tool.accessible) |
120 yield (tool.name, tool.description) |
121 yield (tool.name, tool.description) |
121 |
122 |