diff options
Diffstat (limited to 'etc/lego/lego-site.el')
-rw-r--r-- | etc/lego/lego-site.el | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/etc/lego/lego-site.el b/etc/lego/lego-site.el new file mode 100644 index 00000000..44c13422 --- /dev/null +++ b/etc/lego/lego-site.el @@ -0,0 +1,20 @@ +;;; proof-site.el Site-specific Emacs support for LEGO +;;; Copyright (C) 1998 LFCS Edinburgh +;;; Author: Thomas Kleymann <T.Kleymann@ed.ac.uk> +;;; Maintainer: lego@dcs.ed.ac.uk + +(let ((version (getenv "PROOFGENERAL"))) + (cond ((string= 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")) + ((string= version "ancient") + (setq load-path (cons "/usr/local/share/elisp/lego" load-path)) + (load "lego")) + ((string= version "latest") + (load-file "/usr/local/share/elisp/proofgeneral/generic/proof-site.el")))) + + +
\ No newline at end of file |