From 4458f45af648d888a88bc2b26948edcb8de80603 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Sun, 5 Feb 2012 12:58:10 +0000 Subject: [PATCH] dot/emacs: Fix keybinding for lemma references. Must have been copied from the proposition line, and not fixed. --- dot/emacs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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?")))) -- 2.11.0