[isabelle-dev] Proof General 4.1pre
andreas.lochbihler at kit.edu
Fri Jan 14 08:10:39 CET 2011
> Are there still users of PG 3.x with recent Isabelle snapshots or versions
> from the repository?
I am using PG 188.8.131.52 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?
More information about the isabelle-dev