(add-to-list 'load-path "~/.emacs.d")

;; el-get
(load "el-get-init")

;; 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")

;; work around two bugs in Isabelle/PG
;; we need to toggle two options twice to make them work
(defun repair-auto-solve ()
  (when isar-tracing:auto-solve-direct
    (print "Repairing Auto Solve Direct")
    (isar-tracing:auto-solve-direct-toggle 0)
    (isar-tracing:auto-solve-direct-toggle 1)))

(defun repair-auto-quickcheck ()
  (when isar-tracing:auto-quickcheck
    (print "Repairing Auto Quickcheck")
    (isar-tracing:auto-quickcheck-toggle 0)
    (isar-tracing:auto-quickcheck-toggle 1)))

(add-hook 'proof-shell-init-hook 'repair-auto-solve)
(add-hook 'proof-shell-init-hook 'repair-auto-quickcheck)

;; custom file
(setq custom-file "~/.emacs.d/custom.el")
(load custom-file)