path: root/.emacs

(add-to-list 'custom-theme-load-path "~/.emacs.d/themes/")
(setq custom-file "~/.emacs.d/local.conf")

(require 'package)
(setq package-enable-at-startup nil)
(add-to-list 'package-archives '("melpa" . "http://melpa.org/packages/"))
(package-initialize)

;; Bootstrap `use-package'
(unless (package-installed-p 'use-package)
  (package-refresh-contents)
  (package-install 'use-package))

(eval-when-compile
  (require 'use-package))

;;; LaTeX with AUCTeX
(use-package tex-site                   ; AUCTeX initialization
  :ensure auctex)

(use-package tex                        ; TeX editing/processing
  :ensure auctex
  :defer t
  :config
  (add-hook 'LaTeX-mode-hook 'turn-on-reftex)
  (add-hook 'LaTeX-mode-hook 'turn-off-auto-fill)
  (add-hook 'LaTeX-mode-hook 'turn-on-flyspell)
  (add-hook 'LaTeX-mode-hook 'outline-minor-mode)
  (add-hook 'LaTeX-mode-hook 'LaTeX-math-mode)
  (add-hook 'LaTeX-mode-hook 'rainbow-delimiters-mode)
  (add-hook 'LaTeX-mode-hook
	    (lambda ()
	      (LaTeX-add-environments
	       '("axiom" LaTeX-env-label)
	       '("theorem" LaTeX-env-label)
	       '("proposition" LaTeX-env-label)
	       '("definition" LaTeX-env-label)
	       '("corollary" LaTeX-env-label)
	       '("lemma" LaTeX-env-label)
	       '("conjecture" LaTeX-env-label))))
  (add-to-list 'TeX-view-program-selection
	       '(output-pdf "Zathura"))
  (add-hook 'LaTeX-mode-hook
	    (lambda ()
	      (add-to-list 'LaTeX-label-alist '("axiom" . "ax:"))
	      (add-to-list 'LaTeX-label-alist '("conjecture" . "conj:"))
	      (add-to-list 'LaTeX-label-alist '("corollary" . "cor:"))
	      (add-to-list 'LaTeX-label-alist '("definition" . "def:"))
	      (add-to-list 'LaTeX-label-alist '("proposition" . "prop:"))
	      (add-to-list 'LaTeX-label-alist '("theorem" . "theorem:"))
	      (add-to-list 'LaTeX-label-alist '("lemma" . "conj:"))))
  (progn
    (setq TeX-parse-self t              ; Parse documents to provide completion
					; for packages, etc.
	  TeX-auto-save t               ; Automatically save style information
	  ;; Don't ask for confirmation when cleaning
	  TeX-clean-confirm nil
	  ;; Provide forward and inverse search with SyncTeX
	  TeX-source-correlate-mode t
	  TeX-source-correlate-method 'synctex
	  ;; use reftex to get ToC: C-c = to explore structure of TeX doc
	  reftex-plug-into-AUCTeX t
	  reftex-label-alist '(("axiom" ?a "ax:" "~\\ref{%s}" nil ("axiom" "ax.") -3)
			       ("theorem" ?h "theorem:" "~\\ref{%s}" t ("theorem" "th.") -3)
			       ("proposition" ?p "prop:" "~\\ref{%s}" t ("proposition" "prop.") -3)
			       ("definition" ?d "def:" "~\\ref{%s}" t ("definition" "def.") -3)
			       ("corollary" ?c "cor:" "~\\ref{%s}" t ("corollary" "cor.") -3)
			       ("lemma" ?l "lemma:" "~\\ref{%s}" t ("lemma" "lem.") -3)
			       ("conjecture" ?j "conj:" "~\\ref{%s}" t ("conjecture" "conj.") -3)
			       ("ax" ?a "ax:" "~\\ref{%s}" nil ("axiom" "ax.") -3)
			       ("thm" ?h "theorem:" "~\\ref{%s}" t ("theorem" "th.") -3)
			       ("prop" ?p "prop:" "~\\ref{%s}" t ("proposition" "prop.") -3)
			       ("defi" ?d "def:" "~\\ref{%s}" t ("definition" "def.") -3)
			       ("cor" ?c "cor:" "~\\ref{%s}" t ("corollary" "cor.") -3)
			       ("lem" ?l "lemma:" "~\\ref{%s}" t ("lemma" "lem.") -3)
			       ("conj" ?j "conj:" "~\\ref{%s}" t ("conjecture" "conj.") -3)
			       )
	  )))

(use-package auto-complete
  :ensure t
  :config
  (ac-config-default)
  (ac-set-trigger-key "TAB")
  (add-to-list 'ac-dictionary-directories "~/.emacs.d/auto-complete/ac-dict")
  (add-to-list 'ac-modes 'Coq-mode)
  (add-to-list 'ac-modes 'latex-mode)
  (add-to-list 'ac-modes 'sml-mode)
  )

(use-package auto-indent-mode
  :ensure t)
(use-package dictem
  :load-path "~/.emacs.d/dictem/")
(use-package dtrt-indent
  :ensure t)
(use-package fill-column-indicator
  :ensure t)
(use-package haskell-mode
  :ensure t)
(use-package markdown-mode
  :ensure t)
(use-package rainbow-mode
  :ensure t)
(use-package sml-mode
  :ensure t)
(use-package yaml-mode
  :ensure t)
(use-package sass-mode
  :ensure t)
(use-package ess
  :ensure t)
(use-package merlin
   :ensure t)
(use-package ocp-indent
   :ensure t)
(use-package tuareg
  :ensure t
  :config
  (add-hook 'tuareg-mode-hook 'merlin-mode t))
(use-package py-autopep8
  :ensure t
  :config
  (add-hook 'python-mode-hook 'py-autopep8-enable-on-save)
  (setq py-autopep8-options '("--max-line-length=80")))
(use-package elpy
  :ensure t
  :config
  (setq elpy-rpc-python-command "python3"))
(use-package outline-magic
  :ensure t
  :config
  (add-hook 'outline-mode-hook
	    (lambda ()
	      (require 'outline-cycle)))

  (add-hook 'outline-minor-mode-hook
	    (lambda ()
	      (require 'outline-magic)
	      (define-key outline-minor-mode-map [(f10)] 'outline-cycle)))
  )
(use-package magit
  :ensure t
  :config
  (put 'magit-clean 'disabled nil))
(use-package spaceline
  :ensure t
  :config
  (require 'spaceline-config))
(use-package rainbow-delimiters
  :ensure t
  :config
  (add-hook 'prog-mode-hook #'rainbow-delimiters-mode))
(use-package moe-theme
  :ensure t)


(add-hook 'before-save-hook 'whitespace-cleanup)

;;;; Highlight matching parentheses
(show-paren-mode t)
(setq show-paren-style 'expression) ; Highlight entire expression when
				    ; on delimiters

;;;; AUTO FILL
(add-hook 'text-mode-hook 'turn-on-auto-fill) ; We want auto-fill
					      ; enabled for all text
					      ; modes

;;;; AUTO INDENT
(auto-indent-global-mode)

;;;; CC-mode, bundled with emacs
(setq c-default-style "bsd")

;;; EasyPG, bunled with emacs for encrypted files
(require 'epa-file)
(epa-file-enable)

;;;; HASKELL-MODE
(add-hook 'haskell-mode-hook 'turn-on-haskell-doc-mode)
(add-hook 'haskell-mode-hook 'turn-on-haskell-indentation)

;;;; MARKDOWN-MODE
(autoload 'markdown-mode "markdown-mode"
  "Major mode for editing Markdown files" t)
(add-to-list 'auto-mode-alist '("\\.markdown\\'" . markdown-mode))
(add-to-list 'auto-mode-alist '("\\.mdown\\'" . markdown-mode))

;;;; OCTAVE, bundled with emacs
(add-to-list 'auto-mode-alist '("\\.m$" . octave-mode))

;;;; PROOFGENERAL
(setq proof-three-window-enable t)
(setq proof-three-window-mode-policy 'hybrid)

;;;; TeX
(setq TeX-PDF-mode t)

;;; THEME
;;; (load-theme 'ryanakca t)
;;; (load-theme 'paganini t)
(moe-dark)
(moe-theme-set-color 'blue)
(powerline-moe-theme)

;;;; TRAMP, bundled with emacs for editing remote files
(require 'tramp)

;;;; VC-GIT
(when (featurep 'vc-git) (add-to-list 'vc-handled-backends 'git))

;;;; Sending mail
(setq mail-specify-envelope-from t)
(setq mail-envelope-from 'header)
(setq message-send-mail-function 'sendmail-send-it)

;;;; Python
(setq python-python-command "/usr/bin/python3")
(elpy-enable)

;;;; Default dictionary
(setq ispell-dictionary "en_CA-w_accents")

(custom-set-variables
 ;; custom-set-variables was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(auto-indent-next-pair-timer-interval
   (quote
    ((css-mode 1.5)
     (haskell-mode 1.5)
     (python-mode 1.5)
     (latex-mode 1.5)
     (coq-mode 1.5)
     (default 0.0005))))
 '(column-number-mode t)
 '(default-input-method "TeX")
 '(inhibit-startup-screen t)
 '(package-selected-packages
   (quote
    (auto-complete auctex
     auto-indent-mode
     csv-mode
     dtrt-indent
     elpy
     ess
     fill-column-indicator
     haskell-mode
     lua-mode
     magit
     markdown-mode
     merlin
     mingus
     moe-theme
     nimbus-theme
     ocp-indent
     org-ref
     outline-magic
     py-autopep8
     rainbow-delimiters
     rainbow-mode
     sass-mode
     sml-mode
     spaceline
     tuareg
     use-package
     wc-mode
     yaml-mode)))
 '(proof-disappearing-proofs t)
 '(proof-electric-terminator-enable t)
 '(python-indent-guess-indent-offset nil)
 '(python-indent-offset 4)
 '(python-shell-interpreter "python3")
 '(safe-local-variable-values
   (quote
    ((ispell-local-dictionary . american)
     (eval setq debian-changelog-mailing-address "rak@debian.org")
     (eval add-to-list
	   (quote debian-changelog-allowed-distributions)
	   "daylog"))))
 '(scroll-bar-mode nil)
 '(tool-bar-mode nil))
(custom-set-faces
 ;; custom-set-faces was added by Custom.
 ;; If you edit it by hand, you could mess it up, so be careful.
 ;; Your init file should contain only one such instance.
 ;; If there is more than one, they won't work right.
 '(default ((t (:family "Input Mono" :foundry "FBI " :slant normal :weight normal :height 89 :width normal))))
 '(proof-locked-face ((t (:weight bold))) t))

;;; Others
;; Emacs24: Cycle through tab-completions with tab if there are less than 5
(setq completion-cycle-threshold 5)
;; Emacs24: Also match for substrings in tab completion
(add-to-list 'completion-styles 'substring)
;; align text according to a delimiter
(global-set-key (kbd "C-x a r") 'align-regexp)

;; info location:
(eval-after-load 'info
  '(add-to-list 'Info-directory-list "~/.emacs.d/share/info"))

;; Replace yes or no prompts with y or n.
(fset 'yes-or-no-p 'y-or-n-p)

(put 'narrow-to-region 'disabled nil)

(defun my-fill-latex-paragraph ()
  "Fill the current paragraph, separating sentences w/ a newline.

AUCTeX's latex.el reimplements the fill functions and is *very*
convoluted. We use part of it --- skip comment par we are in."
  (interactive)
  (if (save-excursion
	(beginning-of-line) (looking-at TeX-comment-start-regexp))
      (TeX-comment-forward)
    (let ((to (progn
		(LaTeX-forward-paragraph)
		(point)))
	  (from (progn
		  (LaTeX-backward-paragraph)
		  (point)))
	  (to-marker (make-marker)))
      (set-marker to-marker to)
      (while (< from (marker-position to-marker))
	(forward-sentence)
	(setq tmp-end (point))
	(LaTeX-fill-region-as-paragraph from tmp-end)
	(setq from (point))
	(unless (bolp)
	  (LaTeX-newline))))))


;; http://www.cs.au.dk/~abizjak/emacs/2016/03/06/latex-fill-paragraph.html
(defun ales/fill-paragraph (&optional P)
  "When called with prefix argument call `fill-paragraph'.
Otherwise split the current paragraph into one sentence per line."
  (interactive "P")
  (if (not P)
      (save-excursion
	(let ((fill-column 12345678)) ;; relies on dynamic binding
	  (fill-paragraph) ;; this will not work correctly if the paragraph is
			   ;; longer than 12345678 characters (in which case the
			   ;; file must be at least 12MB long. This is unlikely.)
	  (let ((end (save-excursion
		       (forward-paragraph 1)
		       (backward-sentence)
		       (point-marker))))  ;; remember where to stop
	    (beginning-of-line)
	    (while (progn (forward-sentence)
			  (<= (point) (marker-position end)))
	      (just-one-space) ;; leaves only one space, point is after it
	      (delete-char -1) ;; delete the space
	      (newline)        ;; and insert a newline
	      (LaTeX-indent-line) ;; I only use this in combination with late, so this makes sense
	      ))))
    ;; otherwise do ordinary fill paragraph
    (fill-paragraph P)))

(eval-after-load "latex"
  '(define-key LaTeX-mode-map (kbd "M-q") 'ales/fill-paragraph))

(windmove-default-keybindings)
(setq windmove-wrap-around t)

					; align-regexp should use spaces.
(defadvice align-regexp (around align-regexp-with-spaces activate)
  (let ((indent-tabs-mode nil))
    ad-do-it))