diff options
| author | Ryan Kavanagh <rak@debian.org> | 2013-02-19 15:06:01 -0500 |
|---|---|---|
| committer | Ryan Kavanagh <rak@debian.org> | 2013-02-19 15:06:01 -0500 |
| commit | f5af04db7178e522cdb4abd34c193b3675de7e67 (patch) | |
| tree | f2b90d7a2cace1fdf8c21dde5d6d4fa319a12727 /.emacs | |
| parent | Added proofgeneral (diff) | |
Update path to proofgeneral in .emacs
Diffstat (limited to '.emacs')
| -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) |