changeset 9956 | e75e6a603e71 |
parent 9948 | 3a01ecb6f65d |
child 9973 | d048e08f3347 |
1.1 --- a/etc/settings Thu Sep 14 11:34:13 2000 +0200 1.2 +++ b/etc/settings Thu Sep 14 17:24:46 2000 +0200 1.3 @@ -151,6 +151,7 @@ 1.4 "$ISABELLE_HOME/../ProofGeneral/isar/interface" \ 1.5 "/usr/share/ProofGeneral/isar/interface" \ 1.6 "/usr/local/ProofGeneral/isar/interface" \ 1.7 + "/usr/share/emacs/ProofGeneral/isar/interface" \ 1.8 "$ISABELLE_INTERFACE") 1.9 PROOFGENERAL_OPTIONS="" 1.10