aboutsummaryrefslogtreecommitdiff
path: root/.emacs
diff options
context:
space:
mode:
authorRyan Kavanagh <rak@debian.org>2017-09-05 12:30:03 -0400
committerRyan Kavanagh <rak@debian.org>2017-09-05 12:30:03 -0400
commit951107d462b60a8a6a4aba29ef886c63c54b1704 (patch)
treecc793e059e4a1179bedf56d198b202d220eed785 /.emacs
parentzathura in auctex (diff)
more tex environments for auctex
Diffstat (limited to '')
-rw-r--r--.emacs8
1 files changed, 8 insertions, 0 deletions
diff --git a/.emacs b/.emacs
index 8b8afd3..c76f031 100644
--- a/.emacs
+++ b/.emacs
@@ -59,6 +59,14 @@
("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)
+ ("ax" ?a "ax:" "~\\ref{%s}" nil ("axiom" "ax.") -3)
+ ("thm" ?h "theorem:" "~\\ref{%s}" t ("theorem" "th.") -3)
+ ("prop" ?p "prop:" "~\\ref{%s}" t ("proposition" "prop.") -3)
+ ("defi" ?d "def:" "~\\ref{%s}" t ("definition" "def.") -3)
+ ("cor" ?c "cor:" "~\\ref{%s}" t ("corollary" "cor.") -3)
+ ("lem" ?l "lemma:" "~\\ref{%s}" t ("lemma" "lem.") -3)
+ ("conj" ?j "conj:" "~\\ref{%s}" t ("conjecture" "conj.") -3)
+
)
)))