[Top] | [Contents] | [Index] | [ ? ]

# Proof General

    START-INFO-DIR-ENTRY
    * Proof General: (ProofGeneral).          Organize your proofs with Emacs!
    END-INFO-DIR-ENTRY

This file documents version 3.7 of Proof General, a generic Emacs interface for proof assistants.

Proof General 3.7 has been tested with XEmacs 21.5.28 and GNU Emacs 22.2.1. It is supplied ready to use for the proof assistants LEGO, Coq, Isabelle, and PhoX. Experimental support is provided for several other provers.

[Top] | [Contents] | [Index] | [ ? ]

This document was generated by David Aspinall on July, 24 2008 using texi2html 1.78.