191 ### |
191 ### |
192 |
192 |
193 # Fallback: the null interface (pass-through to raw isabelle process). |
193 # Fallback: the null interface (pass-through to raw isabelle process). |
194 ISABELLE_INTERFACE=none |
194 ISABELLE_INTERFACE=none |
195 |
195 |
196 # Proof General path, look in a variety of places |
|
197 ISABELLE_INTERFACE=$(choosefrom \ |
196 ISABELLE_INTERFACE=$(choosefrom \ |
198 "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \ |
197 "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \ |
199 "$ISABELLE_HOME/../ProofGeneral/isar/interface" \ |
198 "$ISABELLE_HOME/../ProofGeneral/isar/interface" \ |
200 "/usr/local/ProofGeneral/isar/interface" \ |
199 "/usr/local/ProofGeneral/isar/interface" \ |
201 "/usr/share/ProofGeneral/isar/interface" \ |
200 "/usr/share/ProofGeneral/isar/interface" \ |
202 "/opt/ProofGeneral/isar/interface" \ |
201 "/opt/ProofGeneral/isar/interface" \ |
203 "/usr/share/emacs/ProofGeneral/isar/interface" \ |
202 "/usr/share/emacs/ProofGeneral/isar/interface" \ |
204 "$ISABELLE_INTERFACE") |
203 "$ISABELLE_INTERFACE") |
205 |
204 |
|
205 # Proof General home, look in a variety of places |
|
206 PROOFGENERAL_HOME=$(choosefrom \ |
|
207 "$ISABELLE_HOME/contrib/ProofGeneral" \ |
|
208 "$ISABELLE_HOME/../ProofGeneral" \ |
|
209 "/usr/local/ProofGeneral" \ |
|
210 "/usr/share/ProofGeneral" \ |
|
211 "/opt/ProofGeneral" \ |
|
212 "") |
|
213 |
206 PROOFGENERAL_OPTIONS="" |
214 PROOFGENERAL_OPTIONS="" |
207 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p emacs22" |
215 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p emacs22" |
208 |
216 |
209 # Automatic setup of remote fonts |
217 # Automatic setup of remote fonts |
210 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
218 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
211 |
219 XSYMBOL_INSTALLFONTS="" |
212 |
220 |
213 ### |
221 ### |
214 ### External reasoning tools |
222 ### External reasoning tools |
215 ### |
223 ### |
216 |
224 |