From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 5 Feb 2012 12:58:10 +0000 (+0000)
Subject: dot/emacs: Fix keybinding for lemma references.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/4458f45af648d888a88bc2b26948edcb8de80603?ds=inline

dot/emacs: Fix keybinding for lemma references.

Must have been copied from the proposition line, and not fixed.
---

diff --git a/dot/emacs b/dot/emacs
index 9fbd771..657f7e5 100644
--- a/dot/emacs
+++ b/dot/emacs
@@ -759,7 +759,7 @@
 	("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)
+	("lemma" ?L "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?"))))