diff options
Diffstat (limited to '')
-rw-r--r-- | .emacs | 8 | ||||
-rw-r--r-- | .emacs.d/el-get-init.el | 21 |
2 files changed, 24 insertions, 5 deletions
@@ -1,5 +1,7 @@ (add-to-list 'load-path "~/.emacs.d") -(add-to-list 'load-path "~/.emacs.d/evil") + +;; el-get +(load "el-get-init") ;; evil (require 'evil) @@ -27,10 +29,6 @@ ;; use Poly/ML as SML interpreter (setq sml-program-name "poly") -;; key bindings -(add-hook 'proof-mode-hook - (lambda () (local-set-key (kbd "M-c") 'unicode-tokens-insert-token))) - ;; custom file (setq custom-file "~/.emacs.d/custom.el") (load custom-file) diff --git a/.emacs.d/el-get-init.el b/.emacs.d/el-get-init.el new file mode 100644 index 0000000..73f175c --- /dev/null +++ b/.emacs.d/el-get-init.el @@ -0,0 +1,21 @@ +;; initialization of el-get +;; do not put into .emacs to avoid cluttering +;; +;; SOURCE: https://github.com/dimitri/el-get + +(add-to-list 'load-path "~/.emacs.d/el-get/el-get") + +(unless (require 'el-get nil t) + (url-retrieve + "https://raw.github.com/dimitri/el-get/master/el-get-install.el" + (lambda (s) + (let (el-get-install-skip-emacswiki-recipes) + (goto-char (point-max)) + (eval-print-last-sexp))))) + +(setq my-packages + (append + '(color-theme evil el-get sml-mode) + (mapcar 'el-get-source-name el-get-sources))) + +(el-get 'sync my-packages) |