id summary reporter owner description type status priority milestone component resolution keywords cc 180 Sub/superscript sometimes not rendered properly. Makarius David Aspinall "Using GNU emacs 22.1.1 on Ubuntu 7.10, {{{ \<^sub> }}} and {{{ \<^sup> }}} control symbols are occasionally not rendered properly: either the literal {{{ \<^sub> }}} etc. is left as is, or the purple expansion of the same (as shown when moving the cursor to such a place) somehow sticks permanently, but for several such {{{ \<^sub> }}} sequences in the text, maybe those of a former region or command span. This is hard to reproduce exactly, but happens routinely when working with Isabelle/src/HOL/Lambda a lot." defect closed major PG-Emacs-3.7 2:pg-emacs fixed