X-Git-Url: https://git.distorted.org.uk/~mdw/profile/blobdiff_plain/27847229059b835c3ba79223e531bcad1c866bba..d6b18bd9a68921d9dd7ff417f0bbddc972767d42:/emacs

diff --git a/emacs b/emacs
index 1e9bdc9..841ad0d 100644
--- a/emacs
+++ b/emacs
@@ -408,7 +408,7 @@
 		("\\.\\(tex\\|dtx\\)$" . latex-mode)
 		("\\.gc$" . haskell.-mode)
 		(,(concat "^" (getenv "HOME") "/News/") . mdwmail-mode)
-		(,(concat "^" tmpdir "/\\(SLRN\\|snd\\|pico\\)")
+		(,(concat "^" tmpdir "/\\(SLRN\\|snd\\|pico\\|mutt\\)")
 		 . mdwmail-mode))
 	      auto-mode-alist))
 
@@ -587,6 +587,30 @@
 	("^pdf$" "." "evince %o")
 	("^html?$" "." "netscape %o")))
 
+(setq reftex-use-external-file-finders t
+      reftex-auto-recenter-toc t)
+
+(setq reftex-label-alist
+      '(("theorem" ?T "th:" "~\\ref{%s}" t ("theorems?" "th\\.") -2)
+	("axiom" ?A "ax:" "~\\ref{%s}" t ("axioms?" "ax\\.") -2)
+	("definition" ?D "def:" "~\\ref{%s}" t ("definitions?" "def\\.") -2)
+	("proposition" ?P "prop:" "~\\ref{%s}" t
+	 ("propositions?" "prop\\.") -2)
+	("lemma" ?P "lem:" "~\\ref{%s}" t ("lemmas?" "lem\\.") -2)
+	("example" ?X "eg:" "~\\ref{%s}" t ("examples?") -2)
+	("exercise" ?E "ex:" "~\\ref{%s}" t ("exercises?" "ex\\.") -2)
+	("enumerate" ?i "i:" "~\\ref{%s}" item ("items?"))))
+(setq reftex-section-prefixes
+      '((0 . "part:")
+	(1 . "ch:")
+	(t . "sec:")))
+
+(setq bibtex-field-delimiters 'double-quotes
+      bibtex-entry-format '(realign opts-or-alts required-fields
+			    numerical-fields last-comma delimiters
+			    unify-case)
+      bibtex-include-OPTkey nil)
+
 ;;;----- SLIME setup --------------------------------------------------------
 
 (trap
@@ -630,6 +654,7 @@
 ;; --- Notice passwords, and make C-a work right ---
 
 (add-hook 'shell-mode-hook #'mdw-sh-mode-setup)
+(add-hook 'shell-mode-hook #'ansi-color-for-comint-mode-on)
 (setq shell-font-lock-keywords nil)
 
 (add-hook 'term-mode-hook #'mdw-term-mode-setup)