equal
deleted
inserted
replaced
57 if [ -n "$PROOFGENERAL_EMACS" ]; then |
57 if [ -n "$PROOFGENERAL_EMACS" ]; then |
58 EMACS_OPTIONS=(-p "$PROOFGENERAL_EMACS") |
58 EMACS_OPTIONS=(-p "$PROOFGENERAL_EMACS") |
59 fi |
59 fi |
60 |
60 |
61 |
61 |
62 # enforce fonts |
|
63 |
|
64 if [ ! -f "$HOME/Library/Fonts/STIXGeneral.ttf" -a ! -f "$HOME/Library/Fonts/STIXGeneral.otf" ] |
|
65 then |
|
66 cp -f "$THIS/STIXv1.0.0/Fonts"/STIXGeneral* "$HOME/Library/Fonts/" |
|
67 sleep 3 |
|
68 fi |
|
69 |
|
70 EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-x" |
|
71 EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="true" |
|
72 |
|
73 |
|
74 # run interface with error feedback |
62 # run interface with error feedback |
75 |
63 |
76 ISABELLE_INTERFACE_CHOICE="$("$ISABELLE_TOOL" getenv -b ISABELLE_INTERFACE_CHOICE)" |
64 ISABELLE_INTERFACE_CHOICE="$("$ISABELLE_TOOL" getenv -b ISABELLE_INTERFACE_CHOICE)" |
77 if [ "$ISABELLE_INTERFACE_CHOICE" != emacs -a "$ISABELLE_INTERFACE_CHOICE" != jedit ] |
65 if [ "$ISABELLE_INTERFACE_CHOICE" != emacs -a "$ISABELLE_INTERFACE_CHOICE" != jedit ] |
78 then |
66 then |