;; Load Evil
(add-to-list 'load-path "~/.emacs.d/evil")
(require 'evil)
(evil-mode 1)

;; Open .v files with Proof General's Coq mode
(load "~/.emacs.d/lisp/PG/generic/proof-site")

(load-theme 'iceberg t)

;; Load Evil
(setq evil-want-abbrev-expand-on-insert-exit nil)
(add-to-list 'load-path "~/.emacs.d/evil")
(require 'evil)
(evil-mode 1)

;; Open .v files with Proof General's Coq mode
(load "~/.emacs.d/lisp/PG/generic/proof-site")

(load-theme 'iceberg t)

Fix Evil and Proof General compatibility error
emacs: Fix Evil and Proof General compatibility error

See
https://github.com/ProofGeneral/PG/issues/174
https://github.com/syl20bnr/spacemacs/issues/8853
colajam93/dotfiles