[isabelle-dev] Proof General 4.1pre

Andreas Lochbihler 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 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 mailing list