diff options
Diffstat (limited to 'etc/lego/lego-site.el')
-rw-r--r-- | etc/lego/lego-site.el | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/etc/lego/lego-site.el b/etc/lego/lego-site.el index c503a9d6..55098331 100644 --- a/etc/lego/lego-site.el +++ b/etc/lego/lego-site.el @@ -4,15 +4,18 @@ ;;; Maintainer: lego@dcs.ed.ac.uk (let ((version (getenv "PROOFGENERAL"))) - (cond ((string= version "") ;default + (cond ((not version) ;default (setq load-path (cons "/usr/local/share/elisp/script-management" load-path)) (setq load-path (cons "/usr/local/share/elisp/script-management/lego" load-path)) - (load "lego")) + (setq auto-mode-alist (cons '("\\.l$" . lego-mode) auto-mode-alist)) + (autoload 'lego-mode "lego" "Major mode for editing Lego proof scripts." t)) ((string= version "ancient") (setq load-path (cons "/usr/local/share/elisp/lego" load-path)) - (load "lego")) + (setq auto-mode-alist (cons '("\\.l$" . lego-mode) auto-mode-alist)) + (autoload 'lego-mode "lego" "Major mode for editing Lego proof scripts." t) + (autoload 'lego-shell "lego" "Inferior shell invoking lego." t)) ((string= version "latest") (load-file "/usr/local/share/elisp/ProofGeneral/generic/proof-site.el")))) |