 (load "mykeys")
 
 ;; (load-file "dir/generic/proof-site.el")
-(require 'proof-site)
-
-(setenv "ATSHOME" "/usr/local/lib/ats2-postiats-0.1.2")
-(setenv "PATSHOME" "/usr/local/lib/ats2-postiats-0.1.2")
-
-(require 'ats2-flymake)
+;;(require 'proof-site)
+
+;; (setenv "ATSHOME" "/usr/local/lib/ats2-postiats-0.1.2")
+;; (setenv "PATSHOME" "/usr/local/lib/ats2-postiats-0.1.2")
+
+;; (require 'ats2-flymake)
 
 
 (set-face-attribute 'default nil :foundry "apple" :family "Source Code Pro")

(when (>= emacs-major-version 24)
  (require 'package)
  (package-initialize)
  (add-to-list 'package-archives '("gnu" . "http://elpa.gnu.org/packages/") t)
  (add-to-list 'package-archives '("marmalade" . "http://marmalade-repo.org/packages/") t)
  (add-to-list 'package-archives '("melpa" . "http://melpa.milkbox.net/packages/") t))

(when (memq window-system '(mac ns))
;; NB: the shell path is the same one you get opening a shell, i.e. in the case of bash it runs ~/.bash_profile etc.
(exec-path-from-shell-initialize)
)

;; (setq exec-path

			     (blink-matching-open))))
    (when matching-text (message matching-text))))

;; Align with spaces only
(setq-default indent-tabs-mode nil)
(defadvice align-regexp (around align-regexp-with-spaces)
  "Never use tabs for alignment."
  (let ((indent-tabs-mode nil))
    ad-do-it))
(ad-activate 'align-regexp)

(setq-default show-trailing-whitespace t)
(setq transient-mark-mode t)
(global-hl-line-mode 1)
