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

# Proof General

This file documents configuration mechanisms for version 4.2pre of Proof General, a generic Emacs interface for proof assistants.

Proof General 4.2pre has been tested with GNU Emacs 23.3. It is supplied ready customized for the proof assistants Coq, Lego, Isabelle, and HOL.

This manual contains information for customizing to new proof assistants; see the user manual for details about how to use Proof General.

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

This document was generated by David Aspinall on October 19, 2012 using texi2html 1.82.