equal
deleted
inserted
replaced
96 |
96 |
97 |
97 |
98 /* internal tools */ |
98 /* internal tools */ |
99 |
99 |
100 private lazy val internal_tools: List[Isabelle_Tool] = |
100 private lazy val internal_tools: List[Isabelle_Tool] = |
101 Isabelle_System.services.collect { case c: Isabelle_Scala_Tools => c } |
101 Isabelle_System.services.collect { case c: Isabelle_Scala_Tools => c.tools.toList }.flatten |
102 .flatMap(_.tools.toList) |
|
103 |
102 |
104 private def list_internal(): List[(String, String)] = |
103 private def list_internal(): List[(String, String)] = |
105 for (tool <- internal_tools.toList) |
104 for (tool <- internal_tools.toList) |
106 yield (tool.name, tool.description) |
105 yield (tool.name, tool.description) |
107 |
106 |