Release Notes: Upgrades were made for compatibility with newer proof assistants. Various new features were added. Compatibility with XEmacs was dropped and X-Symbol was replaced with a new mode called Unicode Tokens written specially for Proof General.
Release Notes: This resolves some compatibility issues for Isabelle and adds some improvements for Coq.
No changes have been submitted for this release.