Source: proofgeneral
Section: editors
Priority: optional
Maintainer: Hendrik Tews <hendrik@askra.de>
Build-Depends: debhelper (>= 9), texinfo, texlive-latex-recommended, texlive-generic-recommended, texlive-fonts-recommended, emacs24 | emacs25
Standards-Version: 3.9.8
Homepage: https://proofgeneral.github.io/

Package: proofgeneral
Architecture: all
Depends: ${misc:Depends}, emacs24 | emacs25, mmm-mode
Suggests: proofgeneral-doc, prooftree
Replaces: proofgeneral-coq, proofgeneral-misc
Conflicts: proofgeneral-coq, proofgeneral-minlog, proofgeneral-misc
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.)


Package: proofgeneral-doc
Section: doc
Architecture: all
Depends: ${misc:Depends}
Breaks: proofgeneral (<< 4)
Replaces: proofgeneral (<< 4)
Recommends: info-browser | pdf-viewer | www-browser
Suggests: proofgeneral
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.
