no longer force STIX fonts onto the user -- NB: STIXv1.0.0 is outdated and Mac OS 10.7 ships its own copy of STIX already;

--- a/Admin/MacOS/App1/script	Wed Aug 01 11:55:18 2012 +0200
+++ b/Admin/MacOS/App1/script	Wed Aug 01 12:14:56 2012 +0200
@@ -59,18 +59,6 @@
 fi
 
 
-# enforce fonts
-
-if [ ! -f "$HOME/Library/Fonts/STIXGeneral.ttf" -a ! -f "$HOME/Library/Fonts/STIXGeneral.otf" ]
-then
-  cp -f "$THIS/STIXv1.0.0/Fonts"/STIXGeneral* "$HOME/Library/Fonts/"
-  sleep 3
-fi
-
-EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-x"
-EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="true"
-
-
 # run interface with error feedback
 
 ISABELLE_INTERFACE_CHOICE="$("$ISABELLE_TOOL" getenv -b ISABELLE_INTERFACE_CHOICE)"