# HG changeset patch
# User wenzelm
# Date 1296220841 -3600
# Node ID a6c45c8d52fc21e4fd09fc85c13c80ac465ce85f
# Parent  10b0d338d99e522be35337de6eb4b0e60c58cc8e
enforce STIXGeneral, which is preferred by PG 4.1;

diff -r 10b0d338d99e -r a6c45c8d52fc Admin/MacOS/App1/script
--- 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