Source: proofgeneral Section: science Priority: optional Maintainer: Stefan Schimanski Build-Depends: debhelper (>= 4.1.16), po-debconf Standards-Version: 3.7.3 Homepage: http://proofgeneral.inf.ed.ac.uk Package: proofgeneral Architecture: all Depends: debconf | debconf-2.0, emacs22 | emacsen Suggests: x-symbol Recommends: proofgeneral-misc | proofgeneral-coq Description: generic interface for proof assistants - common package 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. It works with either XEmacs or GNU Emacs. Package: proofgeneral-coq Architecture: all Depends: proofgeneral Recommends: coq Description: generic interface for proof assistants - coq support 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. It works with either XEmacs or GNU Emacs. . This package provides the Proof General support for the Coq theorem prover which is available as another package. The package is however not required to just edit Coq files. Package: proofgeneral-minlog Architecture: all Depends: proofgeneral, mzscheme (>= 300) | guile-1.8 | guile Recommends: minlog Description: generic interface for proof assistants - Minlog support 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. It works with either XEmacs or GNU Emacs. . This package provides the Proof General support for the Minlog theorem prover which is available as another package. The package is however not required to just edit Minlog files. Package: proofgeneral-misc Architecture: all Depends: proofgeneral Description: generic interface for proof assistants - theorem provers support 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. It works with either XEmacs or GNU Emacs. . This package provides the Proof General support for several theorem provers which are not available as packages yet. Phox, Plastic, Twelf. Package: proofgeneral-doc Section: doc Architecture: all Description: generic interface 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. It works with either XEmacs or GNU Emacs. . This package provides the HTML documentation for Proof General. It was created from the same sources as the info documentation which is included in the proofgeneral package.