Package: 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: 1667
Depends: emacs23 | emacs23-nox | emacs23-lucid | emacs24 | emacs24-nox | emacs24-lucid, mmm-mode
Suggests: proofgeneral-doc
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
Replaces: proofgeneral-coq, proofgeneral-misc
Section: editors
Priority: optional
Homepage: http://proofgeneral.inf.ed.ac.uk
Description: generic frontend for proof assistants
 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 Proof General support for Coq. (There is no
 other proof assistant that one could sensibly support.)
