enforce STIXGeneral, which is preferred by PG 4.1;

--- a/Admin/MacOS/App1/script	Fri Jan 28 13:19:21 2011 +0100
+++ b/Admin/MacOS/App1/script	Fri Jan 28 14:20:41 2011 +0100
@@ -59,19 +59,15 @@
 
 # enforce fonts
 
-if [ ! -f "$HOME/Library/Fonts/IsabelleText.ttf" -o ! -f "$HOME/Library/Fonts/IsabelleTextBold.ttf" ]
+if [ ! -f "$HOME/Library/Fonts/STIXGeneral.ttf" -a ! -f "$HOME/Library/Fonts/STIXGeneral.otf" ]
 then
-  cp -f "$THIS/Isabelle/lib/fonts/IsabelleText.ttf" "$HOME/Library/Fonts/"
-  cp -f "$THIS/Isabelle/lib/fonts/IsabelleTextBold.ttf" "$HOME/Library/Fonts/"
+  cp -f "$THIS/STIXv1.0.0/Fonts"/STIXGeneral* "$HOME/Library/Fonts/"
   sleep 3
 fi
 
 EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-x"
 EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="true"
 
-EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-f"
-EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="IsabelleText"
-
 
 # run interface with error feedback