X-Git-Url: https://git.distorted.org.uk/~mdw/profile/blobdiff_plain/55f80fae9a56f8f915c1deb305f8c4b2e628665b..b52d5e17e3434657a6914ae9a515a585a020798b:/emacs

diff --git a/emacs b/emacs
index f4918d7..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,7 +587,29 @@
 	("^pdf$" "." "evince %o")
 	("^html?$" "." "netscape %o")))
 
-(setq reftex-use-external-file-finders t)
+(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 --------------------------------------------------------
 
@@ -632,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)