[isabelle-dev] HOL-Bali

[David Aspinall]

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:

  http://proofgeneral.inf.ed.ac.uk/trac/

Thanks,

  - David




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