Package: proofgeneral-doc
Source: proofgeneral
Version: 4.3~pre130510-1.1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Hendrik Tews <hendrik@askra.de>
Installed-Size: 1527
Recommends: info-browser | pdf-viewer | www-browser
Suggests: proofgeneral
Breaks: proofgeneral (<< 4)
Replaces: proofgeneral (<< 4)
Section: doc
Priority: optional
Homepage: http://proofgeneral.inf.ed.ac.uk
Description: generic frontend for proof assistants - documentation
 Proof General is a major mode to turn Emacs into an interactive proof
 assistant to write formal mathematical proofs using a variety of
 theorem provers.
 .
 This package provides the Proof General user manual in info, html and
 pdf form.
