equal
deleted
inserted
replaced
52 if [ -n "$PROOFGENERAL_EMACS" ]; then |
52 if [ -n "$PROOFGENERAL_EMACS" ]; then |
53 EMACS_OPTIONS=(-p "$PROOFGENERAL_EMACS") |
53 EMACS_OPTIONS=(-p "$PROOFGENERAL_EMACS") |
54 fi |
54 fi |
55 |
55 |
56 |
56 |
|
57 # enforce fonts |
|
58 |
|
59 if [ ! -f "$HOME/Library/Fonts/IsabelleText.ttf" -o ! -f "$HOME/Library/Fonts/IsabelleTextBold.ttf" ] |
|
60 then |
|
61 cp -f "$THIS/Isabelle/lib/fonts/IsabelleText.ttf" "$HOME/Library/Fonts/" |
|
62 cp -f "$THIS/Isabelle/lib/fonts/IsabelleTextBold.ttf" "$HOME/Library/Fonts/" |
|
63 sleep 3 |
|
64 fi |
|
65 |
|
66 EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-x" |
|
67 EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="true" |
|
68 |
|
69 EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="-f" |
|
70 EMACS_OPTIONS["${#EMACS_OPTIONS[@]}"]="IsabelleText" |
|
71 |
|
72 |
57 # run interface with error feedback |
73 # run interface with error feedback |
58 |
74 |
59 OUTPUT="/tmp/isabelle$$.out" |
75 OUTPUT="/tmp/isabelle$$.out" |
60 |
76 |
61 # ( "$ISABELLE_TOOL" jedit "$@" ) > "$OUTPUT" 2>&1 |
77 # ( "$ISABELLE_TOOL" jedit "$@" ) > "$OUTPUT" 2>&1 |