1.1 --- a/Admin/MacOS/App1/script	Fri Jan 28 13:19:21 2011 +0100
     1.2 +++ b/Admin/MacOS/App1/script	Fri Jan 28 14:20:41 2011 +0100
     1.3 @@ -59,19 +59,15 @@
     1.4  
     1.5  # enforce fonts
     1.6  
     1.7 -if [ ! -f "$HOME/Library/Fonts/IsabelleText.ttf" -o ! -f "$HOME/Library/Fonts/IsabelleTextBold.ttf" ]
     1.8 +if [ ! -f "$HOME/Library/Fonts/STIXGeneral.ttf" -a ! -f "$HOME/Library/Fonts/STIXGeneral.otf" ]
     1.9  then
    1.10 -  cp -f "$THIS/Isabelle/lib/fonts/IsabelleText.ttf" "$HOME/Library/Fonts/"
    1.11 -  cp -f "$THIS/Isabelle/lib/fonts/IsabelleTextBold.ttf" "$HOME/Library/Fonts/"
    1.12 +  cp -f "$THIS/STIXv1.0.0/Fonts"/STIXGeneral* "$HOME/Library/Fonts/"
    1.13    sleep 3
    1.14  fi
    1.15  
    1.16  EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-x"
    1.17  EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="true"
    1.18  
    1.19 -EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-f"
    1.20 -EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="IsabelleText"
    1.21 -
    1.22  
    1.23  # run interface with error feedback
    1.24