[isabelle-dev] Proof General 4.1pre

[Andreas Lochbihler]

> Are there still users of PG 3.x with recent Isabelle snapshots or versions 
> from the repository?
I am using PG 3.7.1.1 with XEmacs 21.4.21 and a recent version from the Isabelle repository. My motivation for not switching is that PG 4.x did not seem to work with XEmacs when I tried, and I have not yet figured out how to set up auto-completion that XEmacs provides with any other Emacs. Does anyone know how to do this?

Andreas