diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-09-08 15:57:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-09-08 15:57:50 +0000 |
| commit | dec9edbc06edcfb98bc360ccdffa20b7d2cbdecf (patch) | |
| tree | 75c763e3e0882d5b64a5b319e79f06b2f562ab9a /generic/proof-site.el | |
| parent | 54de55c28b09dcda9c70e38db7de55e6be2469e9 (diff) | |
Layout.
Diffstat (limited to 'generic/proof-site.el')
| -rw-r--r-- | generic/proof-site.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index e88afdd8..239ed2fe 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -43,15 +43,13 @@ To change proof assistant, you must start a new Emacs session." :group 'proof) ;; Extend load path - (setq load-path (cons (concat proof-home "generic/") (cons (concat proof-home (symbol-name proof-assistant) "/") load-path))) -;; Now add auto-loads to support the prover selected - +;; Add auto-loads to support the prover selected (let* ((fileregexp (cond ((eq proof-assistant 'coq) "\\.v") ((eq proof-assistant 'lego) "\\.l$") @@ -64,7 +62,8 @@ To change proof assistant, you must start a new Emacs session." ;; NB: File name for each prover is the same as its symbol name! (autoload proof-mode assistant - (concat "Major mode for editing scripts for proof assistant " assistant ".") + (concat + "Major mode for editing scripts for proof assistant " assistant ".") t) ) |