blob: 6e3a5611081550b7cf09bbd4d403a8637084c474 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
(add-to-list 'load-path "~/.emacs.d")
(add-to-list 'load-path "~/.emacs.d/evil")
;; evil
(require 'evil)
(load "evil-settings")
(evil-mode 1)
;; wrap long lines
(setq truncate-partial-width-windows nil)
;; show parens
(show-paren-mode 1)
;; line numbering
(global-linum-mode 1)
(setq linum-format "%4d ")
;; scrollbar on the right
(set-scroll-bar-mode 'right)
;; theming
(require 'color-theme)
(color-theme-initialize)
(color-theme-charcoal-black)
;; 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)
|