Next: Preface [Contents][Index]
This file documents version 4.5 of Proof General, a generic Emacs interface for proof assistants.
Proof General 4.5 has been tested with GNU Emacs 25.2 on Linux. It is supplied ready to use for the proof assistants Coq, EasyCrypt, and PhoX.