equal
deleted
inserted
replaced
209 "/usr/local/ProofGeneral" \ |
209 "/usr/local/ProofGeneral" \ |
210 "/usr/share/ProofGeneral" \ |
210 "/usr/share/ProofGeneral" \ |
211 "/opt/ProofGeneral" \ |
211 "/opt/ProofGeneral" \ |
212 "") |
212 "") |
213 |
213 |
214 PROOFGENERAL_OPTIONS="" |
214 PROOFGENERAL_EMACS=$(choosefrom /Applications/Emacs.app/Contents/MacOS/Emacs emacs22) |
215 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p emacs22" |
215 PROOFGENERAL_OPTIONS="-p $PROOFGENERAL_EMACS" |
|
216 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p $PROOFGENERAL_EMACS" |
216 |
217 |
217 # Automatic setup of remote fonts |
218 # Automatic setup of remote fonts |
218 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
219 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
219 XSYMBOL_INSTALLFONTS="" |
220 XSYMBOL_INSTALLFONTS="" |
220 |
221 |