disable syntax highlighting, other misc changes

[.emacs.d.git] / init.el

diff --git a/init.el b/init.el
index a054cfb36a0db0867400ceeb21df176afdbb31a9..8ab378dde2c9c49de2f6ef26fefaadf8d4a39859 100644 (file)
--- a/init.el
+++ b/init.el
@@ -1,12 +1,16 @@
+(package-initialize)
 (show-paren-mode 1)
 ;; y-or-n instead of yes-or-no
 (defalias 'yes-or-no-p 'y-or-n-p)
 
-;; Don't use messages that you don't rea
+;; Don't show startup msg, don't store tilde files
 (setq make-backup-files nil)
 (setq initial-scratch-message "")
 (setq inhibit-startup-message t)
 
+;; turn OFF syntax highlighting
+(global-font-lock-mode 0)
+
 ;; cursor bar
 (setq-default cursor-type '(bar . 2))
 
@@ -28,6 +32,7 @@
  ;; If there is more than one, they won't work right.
  '(initial-frame-alist (quote ((fullscreen . maximized))))
  '(send-mail-function (quote smtpmail-send-it)))
+
 ;; Who use the bar to scroll?
 (when (display-graphic-p)
   (progn
@@ -48,10 +53,8 @@
 
 (erc-autojoin-mode t)
 (setq erc-autojoin-channels-alist
-  '((".*\\.freenode.net" "#tahoe-lafs" "#snowdrift" "#haskell" "#haskell-beginners")
-    (".*\\.oftc.net" "#LeastAuthority")
-    ;;(".*\\.mozilla.org" "#rust-beginners")
-    ))
+  '((".*\\.freenode.net" "#tahoe-lafs") ;; #inferno "#plan9chan" "#cat-v")
+    (".*\\.oftc.net" "#LeastAuthority")))
 
 ;; check channels
 (erc-track-mode t)
@@ -77,8 +80,8 @@
 (add-hook 'haskell-mode-hook 'turn-on-haskell-doc-mode)
 
 ;; haskell mode
-(require 'haskell-interactive-mode)
 (require 'haskell-process)
+(require 'haskell-interactive-mode)
 (add-hook 'haskell-mode-hook 'interactive-haskell-mode)
 
 (custom-set-variables
@@ -170,7 +173,7 @@
 ;; addressbook
 (require 'notmuch-address)
 (setq notmuch-address-command "/usr/bin/notmuch-addrlookup")
-(notmuch-address-message-insinuate)
+;;(notmuch-address-message-insinuate)
 
 (require 'smtpmail)
 (setq message-send-mail-function 'smtpmail-send-it)
@@ -218,3 +221,13 @@
 
 ;(desktop-save-mode 1)
 
+;; which function?
+(which-func-mode 1)
+(add-to-list 'which-func-modes '(c-mode c++-mode rust-mode haskell-mode))
+
+;; flysheck
+(add-hook 'after-init-hook #'global-flycheck-mode)
+
+;; coq proof general
+(load-file "~/.emacs.d/ProofGeneral/generic/proof-site.el") 
+