Document: proofgeneral
Title: User Manual for Proof General 3.4
Author: David Aspinall and Thomas Kleymann
Abstract: This document describes how to use
 the Proof General mode for Emacs and X-Emacs to
 organize your proofs with several theorem provers.
Section: Science/Mathematics

Format: HTML
Index: /usr/share/doc/proofgeneral-doc/ProofGeneral/ProofGeneral_toc.html
Files: /usr/share/doc/proofgeneral-doc/ProofGeneral/*.html
