clarified name;
authorwenzelm
Fri Feb 15 12:34:29 2019 +0100 (8 months ago)
changeset 69810a23d6ff31f79
parent 69809 028f61045e8d
child 69811 18f61ce86425
clarified name;
etc/settings
src/Pure/System/isabelle_tool.scala
     1.1 --- a/etc/settings	Thu Feb 14 22:19:06 2019 +0100
     1.2 +++ b/etc/settings	Fri Feb 15 12:34:29 2019 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  
     1.5  classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
     1.6  
     1.7 -isabelle_scala_tools 'isabelle.Regular_Tools'
     1.8 +isabelle_scala_tools 'isabelle.Tools'
     1.9  [ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_tools 'isabelle.Admin_Tools'
    1.10  
    1.11  isabelle_file_format 'isabelle.Bibtex$File_Format'
     2.1 --- a/src/Pure/System/isabelle_tool.scala	Thu Feb 14 22:19:06 2019 +0100
     2.2 +++ b/src/Pure/System/isabelle_tool.scala	Fri Feb 15 12:34:29 2019 +0100
     2.3 @@ -142,7 +142,7 @@
     2.4  
     2.5  class Isabelle_Scala_Tools(val tools: Isabelle_Tool*)
     2.6  
     2.7 -class Regular_Tools extends Isabelle_Scala_Tools(
     2.8 +class Tools extends Isabelle_Scala_Tools(
     2.9    Build.isabelle_tool,
    2.10    Build_Docker.isabelle_tool,
    2.11    Doc.isabelle_tool,