diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2000-08-23 22:59:42 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2000-08-23 22:59:42 +0000 |
| commit | 382313c76ed0451d47b6f9c36e4eb5f4af2a4bfe (patch) | |
| tree | 5203856c045bc89cfe5f13d2bd251a549a1a8512 /isa | |
| parent | 5ca836cb2f13b549eb90aceb26d8366ca631a9be (diff) | |
tuned x-symbol setup;
Diffstat (limited to 'isa')
| -rw-r--r-- | isa/interface-setup.el | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/isa/interface-setup.el b/isa/interface-setup.el index aa8f344d..accf8d81 100644 --- a/isa/interface-setup.el +++ b/isa/interface-setup.el @@ -25,12 +25,9 @@ (not (get 'x-symbol 'x-symbol-initialized))) (progn (load (expand-file-name "lisp/x-symbol/auto-autoloads" xsymbol-home)) - (setq load-path - (cons (expand-file-name "lisp/x-symbol" xsymbol-home) load-path)) + (push (expand-file-name "lisp/x-symbol" xsymbol-home) load-path) (if (boundp 'data-directory-list) - (setq data-directory-list - (cons (expand-file-name "etc/" xsymbol-home) data-directory-list))) - (require 'x-symbol-hooks) + (push (expand-file-name "etc/" xsymbol-home) data-directory-list)) (x-symbol-initialize))) ;; tell Proof General about -x option (if (and xsymbol (not (equal xsymbol ""))) |