Projects / Proof General / Releases

All releases of Proof General

  •  28 Apr 2011 09:28
Avatar

    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 08:19
    Avatar

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

      •  16 Dec 1998 19:59
      Avatar

        Release Notes:

        Screenshot

        Project Spotlight

        episoder

        A tool to tell you about new episodes of your favourite TV shows.

        Screenshot

        Project Spotlight

        BalanceNG

        A modern software IP load balancer.