aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/lego/lego-site.el
diff options
context:
space:
mode:
authorGravatar Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>1998-10-23 11:48:48 +0000
committerGravatar Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>1998-10-23 11:48:48 +0000
commitc51e2febfd8d024a1bf8d16a0b19c63e612cd5c8 (patch)
treef35b8e3f4682a681444a05033502ef2859664500 /etc/lego/lego-site.el
parent261cc96a0f531e6b85821620856491abd858b82d (diff)
no futher instructions in share-site-startup needed
Diffstat (limited to 'etc/lego/lego-site.el')
-rw-r--r--etc/lego/lego-site.el9
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"))))