etc/settings

--- a/etc/settings	Sat May 23 12:04:24 2020 +0200
+++ b/etc/settings	Sat May 23 21:43:30 2020 +0200
@@ -23,6 +23,8 @@
 isabelle_scala_service 'isabelle.Tools'
 [ -d "$ISABELLE_HOME/Admin" ] && isabelle_scala_service 'isabelle.Admin_Tools'
 
+isabelle_scala_service 'isabelle.Functions'
+
 isabelle_scala_service 'isabelle.Bibtex$File_Format'
 
 #paranoia settings -- avoid intrusion of alien options