[isabelle-dev] HOL-Bali

[Norbert Schirmer]

Hi All,

at least the 'Unicode-Tokens' mode of Aqamacs seems to have this  
problem.

    Norbert

On 14.08.2009, at 11:16, Stefan Berghofer wrote:

> it seems that the \<^sup> in r\<^sup>* has disappeared.
> Maybe some Emacs oddity?