--- a/src/Pure/System/isabelle_tool.scala Wed Apr 08 14:09:32 2020 +0200
+++ b/src/Pure/System/isabelle_tool.scala Wed Apr 08 14:25:28 2020 +0200
@@ -98,7 +98,7 @@
/* internal tools */
private lazy val internal_tools: List[Isabelle_Tool] =
- Isabelle_System.init_classes[Isabelle_Scala_Tools]("ISABELLE_SCALA_TOOLS")
+ Isabelle_System.services.collect { case c: Isabelle_Scala_Tools => c }
.flatMap(_.tools.toList)
private def list_internal(): List[(String, String)] =
@@ -140,7 +140,7 @@
sealed case class Isabelle_Tool(name: String, description: String, body: List[String] => Unit)
-class Isabelle_Scala_Tools(val tools: Isabelle_Tool*)
+class Isabelle_Scala_Tools(val tools: Isabelle_Tool*) extends Isabelle_System.Service
class Tools extends Isabelle_Scala_Tools(
Build.isabelle_tool,