# HG changeset patch
# User wenzelm
# Date 1550230469 -3600
# Node ID a23d6ff31f7938bb678de86205c0fb585e088547
# Parent  028f61045e8d67e9e514845ebed65133aaaa29f8
clarified name;

diff -r 028f61045e8d -r a23d6ff31f79 etc/settings
--- a/etc/settings	Thu Feb 14 22:19:06 2019 +0100
+++ b/etc/settings	Fri Feb 15 12:34:29 2019 +0100
@@ -20,7 +20,7 @@
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
 
-isabelle_scala_tools 'isabelle.Regular_Tools'
+isabelle_scala_tools 'isabelle.Tools'
 [ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_tools 'isabelle.Admin_Tools'
 
 isabelle_file_format 'isabelle.Bibtex$File_Format'
diff -r 028f61045e8d -r a23d6ff31f79 src/Pure/System/isabelle_tool.scala
--- 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,