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 9fbd7711337e995e4078090b656762982ec87406..657f7e5a95d850ec0002ffd7b3038372a246ef8d 100644 (file)
--- 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)
        ("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?"))))
        ("example" ?X "eg:" "~\\ref{%s}" t ("examples?") -2)
        ("exercise" ?E "ex:" "~\\ref{%s}" t ("exercises?" "ex\\.") -2)
        ("enumerate" ?i "i:" "~\\ref{%s}" item ("items?"))))