From 8f76fa9a8c31e9a9a336b9edc68b74321bd4c893 Mon Sep 17 00:00:00 2001
From: Jeremy Kaplan <jeremydkaplan@gmail.com>
Date: Mon, 12 Oct 2015 02:10:19 -0400
Subject: [PATCH] Add sup detection to emacs

---
 emacs/init.el | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/emacs/init.el b/emacs/init.el
index 832bc24..10f7860 100644
--- a/emacs/init.el
+++ b/emacs/init.el
@@ -282,3 +282,10 @@ they line up with the line containing the corresponding opening bracket."
 
 ;; Proof General
 (load-file "/usr/share/emacs/site-lisp/ProofGeneral/generic/proof-site.el")
+
+;; sup
+(add-to-list 'auto-mode-alist '("/sup.*eml$" . message-mode))
+(add-hook 'message-mode-hook
+          (lambda ()
+            (auto-fill-mode 1)
+            (search-forward-regexp "^$")))