Version 3.7.1 of Proof General

Avatar

Release Notes: This resolves some compatibility issues for Isabelle and adds some improvements for Coq.

    Other releases

    •  28 Apr 2011 12:05

      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.

      •  24 Jan 2010 09:31
      Avatar

        Release Notes: This resolves some compatibility issues for Isabelle and adds some improvements for Coq.

        •  30 Jan 2001 06:13

          No changes have been submitted for this release.

          Screenshot

          Project Spotlight

          Highlight

          A universal source code to formatted text converter.

          Screenshot

          Project Spotlight

          Vilistextum

          A fast HTML to text converter.