equal
deleted
inserted
replaced
185 # Printer spool command for PS files |
185 # Printer spool command for PS files |
186 PRINT_COMMAND=lp |
186 PRINT_COMMAND=lp |
187 |
187 |
188 |
188 |
189 ### |
189 ### |
190 ### Interfaces |
|
191 ### |
|
192 |
|
193 # Fallback: the null interface (pass-through to raw isabelle process). |
|
194 ISABELLE_INTERFACE=none |
|
195 |
|
196 ISABELLE_INTERFACE=$(choosefrom \ |
|
197 "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \ |
|
198 "$ISABELLE_HOME/../ProofGeneral/isar/interface" \ |
|
199 "/usr/local/ProofGeneral/isar/interface" \ |
|
200 "/usr/share/ProofGeneral/isar/interface" \ |
|
201 "/opt/ProofGeneral/isar/interface" \ |
|
202 "/usr/share/emacs/ProofGeneral/isar/interface" \ |
|
203 "$ISABELLE_INTERFACE") |
|
204 |
|
205 |
|
206 ### |
|
207 ### Proof General / Emacs |
190 ### Proof General / Emacs |
208 ### |
191 ### |
209 |
192 |
210 # Proof General home, look in a variety of places |
193 # Proof General home, look in a variety of places |
211 PROOFGENERAL_HOME=$(choosefrom \ |
194 PROOFGENERAL_HOME=$(choosefrom \ |