| changeset 69810 | a23d6ff31f79 |
| parent 69557 | e72360fef69a |
| child 70686 | 9cde8c4ea5a5 |
--- a/src/Pure/System/isabelle_tool.scala Thu Feb 14 22:19:06 2019 +0100 +++ b/src/Pure/System/isabelle_tool.scala Fri Feb 15 12:34:29 2019 +0100 @@ -142,7 +142,7 @@ class Isabelle_Scala_Tools(val tools: Isabelle_Tool*) -class Regular_Tools extends Isabelle_Scala_Tools( +class Tools extends Isabelle_Scala_Tools( Build.isabelle_tool, Build_Docker.isabelle_tool, Doc.isabelle_tool,