etc/settings

--- a/etc/settings	Sat Nov 10 07:57:20 2018 +0000
+++ b/etc/settings	Sat Nov 10 14:08:02 2018 +0100
@@ -20,6 +20,9 @@
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
 
+isabelle_scala_tools 'isabelle.Regular_Tools'
+[ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_tools 'isabelle.Admin_Tools'
+
 isabelle_file_format 'isabelle.Bibtex$File_Format'
 
 #paranoia settings -- avoid intrusion of alien options