Package: proofgeneral Version: N/A Severity: normal Tags: patch Dear Debian maintainer,
On Friday, October 26, 2007, I notified you of the beginning of a review process concerning debconf templates for proofgeneral. The debian-l10n-english contributors have now reviewed these templates, and the proposed changes are attached to this bug report. Please review the suggested changes are suggested, and if you have any objections, let me know in the next 3 days. Please try to avoid uploading proofgeneral with these changes right now. The second phase of this process will begin on Monday, November 12, 2007, when I will coordinate updates to translations of debconf templates. The existing translators will be notified of the changes: they will receive an updated PO file for their language. Simultaneously, a general call for new translations will be sent to the debian-i18n mailing list. Both these calls for translations will request updates to be sent as individual bug reports. That will probably trigger a lot of bug reports against your package, but these should be easier to deal with. The call for translation updates and new translations will run until about Monday, December 03, 2007. Please avoid uploading a package with fixed or changed debconf templates and/or translation updates in the meantime. Of course, other changes are safe. Please note that this is an approximative delay, which depends on my own availability to process this work and is influenced by the fact that I simultaneously work on many packages. Around Tuesday, December 04, 2007, I will contact you again and will send a final patch summarizing all the updates (changes to debconf templates, updates to debconf translations and new debconf translations). Again, thanks for your attention and cooperation. -- System Information: Debian Release: lenny/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: i386 (i686) Kernel: Linux 2.6.22-3-686 (SMP w/1 CPU core) Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) Shell: /bin/sh linked to /bin/dash
--- proofgeneral.old/debian/proofgeneral.templates 2007-10-22 06:02:33.596937437 +0000 +++ proofgeneral/debian/proofgeneral.templates 2007-11-09 06:50:07.341207979 +0000 @@ -1,14 +1,23 @@ +# These templates have been reviewed by the debian-l10n-english +# team +# +# If modifications/additions/rewording are needed, please ask +# [EMAIL PROTECTED] for advice. +# +# Even minor modifications require translation updates and such +# changes should be coordinated with translators and reviewers. + 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. +_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 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 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 refuse, people who desire to use it will have to either edit - "~/.emacs" or start a Proof General session explicitly with the - proofgeneral command. + 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. --- proofgeneral.old/debian/control 2007-10-22 06:02:33.596937437 +0000 +++ proofgeneral/debian/control 2007-11-07 07:27:26.859706709 +0000 @@ -4,68 +4,64 @@ Maintainer: Stefan Schimanski <[EMAIL PROTECTED]> 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: 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. +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: ProofGeneral support for 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. 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. + 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: ProofGeneral support for 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. 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. + 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: ProofGeneral support for different theorem provers +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 Debian packages yet. + theorem provers which are not available as 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. + Phox, Plastic, Twelf. Package: proofgeneral-doc Architecture: all -Description: Documentation for ProofGeneral in html format - This package provides the html documentation for Proof General. +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. - . - 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.
