Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/MacOS/App1/script
changeset 41644 a6c45c8d52fc
parent 41643 10b0d338d99e
child 44880 9fb612890ad9 
--- 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
isabelle