(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 bugs in Isabelle/PG
;; we need to toggle options twice to make them work
(defun isabelle-repair (what part)
  (let*
    ((msg (format "Repairing Auto %s" (capitalize what)))
     ; create the variable from `what` and `part`
     ; replace spaces by "-" in `what`
     (var (format "isar-%s:auto-%s" part
                  (mapconcat 'identity (split-string (downcase what)) "-")))
     (vart (concat var "-toggle"))
     (repair `(lambda ()
                ; intern-soft also handles the case, that `var` is not existing
                ; (it returns nil then -- making `when` skip)
                (when (intern-soft ,var)
                  (message ,msg)
                  (funcall (intern ,vart) 0) ; toggle off
                  (funcall (intern ,vart) 1) ; toggle on
                ))))
    
    (add-hook 'proof-shell-init-hook repair)))

(isabelle-repair "solve direct" "tracing")
(isabelle-repair "quickcheck" "tracing")

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