Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified name;
authorwenzelm
Fri, 15 Feb 2019 12:34:29 +0100
changeset 69810 a23d6ff31f79
parent 69809 028f61045e8d
child 69811 18f61ce86425
clarified name;
etc/settings file | annotate | diff | comparison | revisions
src/Pure/System/isabelle_tool.scala file | annotate | diff | comparison | revisions 
--- 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'
--- 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,
isabelle