--- 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)"