.emacs.el (for Vineeth)

.emacs.el

;; -*- coding: utf-8 -*-
(require 'package)

(setq package-archives '(("gnu" . "http://elpa.gnu.org/packages/")
                         ("marmalade" . "http://marmalade-repo.org/packages/")
                         ("melpa" . "http://melpa.milkbox.net/packages/")))

(package-initialize)

; Remove the pesk + ugly toolbar
; (tool-bar-mode 0)

; Evil Setup
(evil-mode 1)

; Coq Setup
(setq coq-prog-name "/usr/local/bin/coqtop")

(setq auto-mode-alist (cons '("\.v$" . coq-mode) auto-mode-alist))
  (autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)

; Proof General
(load-file "/Users/jroesch/.emacs.d/proof-general/generic/proof-site.el")

; Setup for CPDT
; (custom-set-variables
; '(coq-prog-args '("-I" "DIR/src")))