The proofgeneral package introduced new or modified debconf templates. This is the perfect moment for a review to help the package maintainer following the general suggested writing style and track down typos and errors in the use of English language. If someone wants to pick up this review, please answer to this mail, in the mailing list, with an [ITR] (Intent To Review) label. The templates file is attached. To propose the file you reviewed for peer review, please send a [RFR] (Request For Review) mail with the reviewed file attached...then a few days later, when no more contributions come, a summary mail with a [LCFC] (Last Chance For Comments) label. Finally, after no more comments coming to the LCFC mail, you can send the reviewed templates file as a bug report against the package. Then, please notify the list with a last mail using a [BTS] label with the bug number. Helping the package maintainer to deal with induced translation updates at that moment will be nice. If you're not comfortable with that part of the process, please hand it off to a translator. --
Template: proofgeneral/autoload Type: boolean Default: true _Description: Should Proof General be auto-loaded by default at your site? If you want to auto-load Proof General at your site, you should accept here. . If you accept, Proof General is loaded globally, i.e. all people in your site can use Proof General at any time in their Emacs or XEmacs without special settings in their "~/.emacs". . If you refuse, people who desire to use it will have to either edit "~/.emacs" or start a Proof General session 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 Package: proofgeneral Architecture: all Depends: debconf | debconf-2.0, emacs22 | emacsen Suggests: x-symbol Recommends: proofgeneral-misc | proofgeneral-coq Description: A generic interface for proof assistants Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. Proof General has been developed at the LFCS in the University of Edinburgh. Package: proofgeneral-coq Architecture: all Depends: proofgeneral Recommends: coq Description: ProofGeneral support for coq This package provides the Proof General support for the Coq theorem prover which is available as another package. Though it is not required to just edit Coq files. . Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. Proof General has been developed at the LFCS in the University of Edinburgh. Package: proofgeneral-minlog Architecture: all Depends: proofgeneral, mzscheme (>= 300) | guile Recommends: minlog Description: ProofGeneral support for Minlog This package provides the Proof General support for the Minlog theorem prover which is available as another package. Though it is not required to just edit Minlog files. . Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. Proof General has been developed at the LFCS in the University of Edinburgh. Package: proofgeneral-misc Architecture: all Depends: proofgeneral Description: ProofGeneral support for different theorem provers This package provides the Proof General support for several theorem provers which are not available as Debian packages yet. This includes: ACL2, HOL98, Isabelle, Isar, LClam, LEGO, Phox, Plastic, Twelf . Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. Proof General has been developed at the LFCS in the University of Edinburgh. Package: proofgeneral-doc Architecture: all Description: Documentation for ProofGeneral in html format 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. . Proof General is a generic interface for proof assistants, currently based on the customizable text editor Emacs. It works with either XEmacs or GNU Emacs. Proof General has been developed at the LFCS in the University of Edinburgh.
Attachment:
signature.asc
Description: Digital signature