143 |
143 |
144 # Fallback: the null interface (pass-through to raw isabelle process). |
144 # Fallback: the null interface (pass-through to raw isabelle process). |
145 ISABELLE_INTERFACE=none |
145 ISABELLE_INTERFACE=none |
146 |
146 |
147 # Proof General path, look in a variety of places |
147 # Proof General path, look in a variety of places |
148 ISABELLE_INTERFACE=$(choosefrom\ |
148 ISABELLE_INTERFACE=$(choosefrom \ |
149 "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \ |
149 "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \ |
150 "$ISABELLE_HOME/../ProofGeneral/isar/interface" \ |
150 "$ISABELLE_HOME/../ProofGeneral/isar/interface" \ |
151 "/usr/local/ProofGeneral/isar/interface" \ |
151 "/usr/local/ProofGeneral/isar/interface" \ |
152 "/usr/share/ProofGeneral/isar/interface" \ |
152 "/usr/share/ProofGeneral/isar/interface" \ |
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 -p xemacs" |
158 #PROOFGENERAL_OPTIONS="-m no_brackets -m no_type_brackets -x true -p xemacs" |
|
159 |
|
160 type -path xemacs >/dev/null || \ |
|
161 PROOFGENERAL_OPTIONS="-p emacs $PROOFGENERAL_OPTIONS" |
159 |
162 |
160 # Automatic setup of remote fonts |
163 # Automatic setup of remote fonts |
161 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
164 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
162 |
165 |
163 |
166 |