blob: 44c13422ada938efe361cd259f87fa4cbe219aee (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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"))))
|