equal
deleted
inserted
replaced
206 "/opt/ProofGeneral/isar/interface" \ |
206 "/opt/ProofGeneral/isar/interface" \ |
207 "/usr/share/emacs/ProofGeneral/isar/interface" \ |
207 "/usr/share/emacs/ProofGeneral/isar/interface" \ |
208 "$ISABELLE_INTERFACE") |
208 "$ISABELLE_INTERFACE") |
209 |
209 |
210 PROOFGENERAL_OPTIONS="" |
210 PROOFGENERAL_OPTIONS="" |
211 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p xemacs" |
211 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p emacs22" |
212 |
|
213 type -path xemacs >/dev/null || \ |
|
214 PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS" |
|
215 |
212 |
216 # Automatic setup of remote fonts |
213 # Automatic setup of remote fonts |
217 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
214 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
218 |
215 |
219 |
216 |