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 http://proofgeneral.inf.ed.ac.uk/trac
> - 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
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