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

Proof General

This file documents configuration mechanisms for version 4.5-git of Proof General, a generic Emacs interface for proof assistants.

Proof General 4.5-git has been tested with GNU Emacs 24.3. It is supplied ready customized for the proof assistants Coq, EasyCrypt, and PhoX.

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 Erik Martin-Dorel on March 10, 2022 using texi2html 1.82.