[isabelle-dev] HOL-Bali

David Aspinall David.Aspinall at ed.ac.uk
Fri Aug 14 13:46:30 CEST 2009

Norbert Schirmer wrote:
> Hi All,
> at least the 'Unicode-Tokens' mode of Aqamacs seems to have this problem.
>    Norbert

I suspect this problem may show up with Unicode Tokens in PG 3.7.1, 
which recovers tokens from buffer properties which are easily lost.

But it should not happen with PG 4.0pre which has a much better 
implementation that does not mess at all with buffer contents.

If you have repeatable problem cases, please report here:



  - David

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

More information about the isabelle-dev mailing list