Proof General
This file documents 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 25.1 on Linux. It is supplied ready to use for the proof assistants Coq, EasyCrypt, and PhoX.
This document was generated by Erik Martin-Dorel on March 10, 2022 using texi2html 1.82.