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

diff --git a/emacs b/emacs
index 0cca241..841ad0d 100644
--- a/emacs
+++ b/emacs
@@ -587,7 +587,23 @@
 	("^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
@@ -638,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)