equal
deleted
inserted
replaced
199 "/usr/local/ProofGeneral" \ |
199 "/usr/local/ProofGeneral" \ |
200 "/usr/share/ProofGeneral" \ |
200 "/usr/share/ProofGeneral" \ |
201 "/opt/ProofGeneral" \ |
201 "/opt/ProofGeneral" \ |
202 "") |
202 "") |
203 |
203 |
204 PROOFGENERAL_EMACS=$(choosefrom /Applications/Emacs.app/Contents/MacOS/Emacs emacs22) |
204 PROOFGENERAL_OPTIONS="" |
205 PROOFGENERAL_OPTIONS="-p $PROOFGENERAL_EMACS" |
205 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets" |
206 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p $PROOFGENERAL_EMACS" |
|
207 |
206 |
208 # Automatic setup of remote fonts |
207 # Automatic setup of remote fonts |
209 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
208 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
210 XSYMBOL_INSTALLFONTS="" |
209 XSYMBOL_INSTALLFONTS="" |
211 |
210 |