diff options
| -rw-r--r-- | .emacs | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,11 +1,8 @@ (add-to-list 'load-path "~/.emacs.d/auto-indent-mode") (add-to-list 'load-path "~/.emacs.d/auto-complete") (add-to-list 'load-path "~/.emacs.d/magit") -(add-to-list 'load-path "/usr/share/emacs/site-lisp/proofgeneral/coq/") +(add-to-list 'load-path "~/.emacs.d/proofgeneral/") (add-to-list 'load-path "/usr/local/share/emacs/site-lisp/vm") -(add-to-list 'load-path "~/.emacs.d/ProofGeneral/") - -(load-file "~/.emacs.d/ProofGeneral/generic/proof-site.el") ;;;; AUTO COMPLETE (require 'auto-complete-config) @@ -21,6 +18,9 @@ ;;;; MAGIT (require 'magit) +;;;; PROOFGENERAL +(load-file "~/.emacs.d/proofgeneral/generic/proof-site.el") + ;;;; VC-GIT (setq load-path (cons (expand-file-name "/usr/share/doc/git-core/contrib/emacs") load-path)) (require 'vc-git) |