dot/screenrc, dot/bashrc: More screen hacking.

[profile] / dot / emacs

diff --git a/dot/emacs b/dot/emacs
index 9fbd771..657f7e5 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)
-       ("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?"))))