--- a/src/Pure/System/isabelle_tool.scala Sat Aug 15 13:51:55 2020 +0200
+++ b/src/Pure/System/isabelle_tool.scala Sun Aug 16 11:57:15 2020 +0200
@@ -98,7 +98,7 @@
/* internal tools */
private lazy val internal_tools: List[Isabelle_Tool] =
- Isabelle_System.services.collect { case c: Isabelle_Scala_Tools => c.tools.toList }.flatten
+ Isabelle_System.make_services(classOf[Isabelle_Scala_Tools]).flatMap(_.tools)
private def list_internal(): List[(String, String)] =
for (tool <- internal_tools.toList)