equal
deleted
inserted
replaced
153 "/opt/ProofGeneral/isar/interface" \ |
153 "/opt/ProofGeneral/isar/interface" \ |
154 "/usr/share/emacs/ProofGeneral/isar/interface" \ |
154 "/usr/share/emacs/ProofGeneral/isar/interface" \ |
155 "$ISABELLE_INTERFACE") |
155 "$ISABELLE_INTERFACE") |
156 |
156 |
157 PROOFGENERAL_OPTIONS="" |
157 PROOFGENERAL_OPTIONS="" |
158 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true" |
158 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p xemacs" |
159 |
159 |
160 type -path xemacs >/dev/null || \ |
160 # Automatic setup of remote fonts |
161 PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS" |
|
162 |
|
163 # Executed before xemacs with ProofGeneral is called; required for remote fonts. |
|
164 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
161 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
165 |
162 |
166 |
163 |
167 ### |
164 ### |
168 ### External reasoning tools |
165 ### External reasoning tools |