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'