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

          Kobold's Quest 1

          An RPG wizard adventuring game.

          Screenshot

          Project Spotlight

          Embedthis Appweb

          A fast little Web server for embedding.