[isabelle-dev] HOL-Bali

Norbert Schirmer schirmer at in.tum.de
Fri Aug 14 13:20:10 CEST 2009


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?




More information about the isabelle-dev mailing list