This file documents configuration mechanisms for version 4.6-git of Proof General, a generic Emacs interface for proof assistants.
Proof General 4.6-git has been tested with GNU Emacs 25.2. It is supplied ready customized for the proof assistants Coq, EasyCrypt, qrhl-tool, and PhoX.
This manual contains information for customizing to new proof assistants; see the user manual for details about how to use Proof General.
This document was generated on April 14, 2023 using texi2html 1.82.