Re: [isabelle] Emacs 23/PG 4 problems on Mac

> 4) There seem to be some bugs in PG 4 by which
> - the command processing gets out of sync (previously rare), indicated by the highlighting ending in the middle of a syntactic token or input sentence,

If you can repeat this, please report the bug at

> - the highlighting is not properly removed and some bits of processed input stay yellow, after the mouse is moved away.

Sounds likely to be a Emacs display engine bug rather than PG.  Try searching/reporting at

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

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.