aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2016-06-22 11:30:16 -0400
committerRyan Kavanagh <rak@debian.org>2016-06-22 11:31:48 -0400
commitfad14ce9984f43d36cadf39d656df97bb7c8b78e (patch)
tree2e3af7cce192b40858b195a70668b0d2631528bc
parentTurn on reftex in auctex (diff)
Inform reftex of math environments
-rw-r--r--.emacs11
1 files changed, 10 insertions, 1 deletions
diff --git a/.emacs b/.emacs
index 301f062..d3d7c01 100644
--- a/.emacs
+++ b/.emacs
@@ -34,7 +34,16 @@
TeX-source-correlate-mode t
TeX-source-correlate-method 'synctex
;; use reftex to get ToC: C-c = to explore structure of TeX doc
- reftex-plug-into-AUCTeX t)))
+ reftex-plug-into-AUCTeX t
+ reftex-label-alist '(("axiom" ?a "ax:" "~\\ref{%s}" nil ("axiom" "ax.") -3)
+ ("theorem" ?h "theorem:" "~\\ref{%s}" t ("theorem" "th.") -3)
+ ("proposition" ?p "prop:" "~\\ref{%s}" t ("proposition" "prop.") -3)
+ ("definition" ?d "def:" "~\\ref{%s}" t ("definition" "def.") -3)
+ ("corollary" ?c "cor:" "~\\ref{%s}" t ("corollary" "cor.") -3)
+ ("lemma" ?l "lemma:" "~\\ref{%s}" t ("lemma" "lem.") -3)
+ ("conjecture" ?j "conj:" "~\\ref{%s}" t ("conjecture" "conj.") -3)
+ )
+ )))
(use-package auto-complete
:ensure t