From 951107d462b60a8a6a4aba29ef886c63c54b1704 Mon Sep 17 00:00:00 2001
From: Ryan Kavanagh <rak@debian.org>
Date: Tue, 5 Sep 2017 12:30:03 -0400
Subject: more tex environments for auctex

---
 .emacs | 8 ++++++++
 1 file changed, 8 insertions(+)

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)
+
 			       )
 	  )))
 
-- 
cgit v1.2.3