This is the last call for comments for the review of debconf templates for proofgeneral. The reviewed templates will be sent on Thursday, November 08, 2007 to the package maintainer as a bug report and a mail will be sent to this list with "[BTS]" as a subject tag. --
Template: proofgeneral/autoload Type: boolean Default: true _Description: Should Proof General be auto-loaded by default? Please choose this option if you want to auto-load Proof General on this machine. . If you do so, it will be loaded globally and all local users will be able to use it with Emacs or XEmacs, without special settings in their personal configuration file. . If you don't choose this option, users will need to activate it from their personal settings for Emacs or XEmacs, or start it explicitly with the 'proofgeneral' command.
Source: proofgeneral Section: editors Priority: optional Maintainer: Stefan Schimanski <schimmi@debian.org> Build-Depends: debhelper (>= 4.1.16), po-debconf Standards-Version: 3.7.2 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 a 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 a 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 Recommends: minlog Description: generic interface for proof assistants - Minlog support Proof General is a major mode to turn Emacs into a 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 a 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. This includes: ACL2, HOL98, Isabelle, Isar, LClam, LEGO, Phox, Plastic, Twelf. Package: proofgeneral-doc Architecture: all Description: generic interface for proof assistants - documentation Proof General is a major mode to turn Emacs into a 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.
Attachment:
signature.asc
Description: Digital signature