> 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev