Re: [isabelle] Unicode tokens

David Aspinall wrote:
I think that's a bit unfair. There are (I'm told) bad problems with Emacs 23 on some non-Linux platforms, but these are not the fault of PG 4.

There are minor glitches with PG 4 but it is still under development, so I need people to try it out.

I agree that PG 4 needs more testers, but using it *does* create new problems, including regular synchronization losses. I am using it for daily work at the moment, which is possible, but I have to restart from time to time. I have reported the specific problems that I could nail down, and most have been fixed (thanks, David), but it still breaks regularly. This is on a Linux platform with GNU Emacs 23.1.1.

In the end, everybody must find out what works best for him...


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