2008
proofgeneral (3.7-3) unstable; urgency=low
* Fix bin/proofgeneral script:
- correct lowercase path to the lisp directory. Closes: 473893
- working -v and --version option which need the PGHOME to work.
-- Stefan Schimanski <schimmi@debian.org> Wed, 2 Apr 2008 11:41:10 +0100
proofgeneral (3.7-2) unstable; urgency=low
* Debconf templates and debian/control reviewed by the debian-l10n-
english team as part of the Smith review project. Closes: #450681
* [Debconf translation updates]
- Galician. Closes: #451163
- Portuguese. Closes: #451170
- Finnish. Closes: #451280
- German. Closes: #451761
- Czech. Closes: #451832
- French. Closes: #452809
- Dutch. Closes: #452951
- Russian. Closes: #453317
- Vietnamese. Closes: #453650
* [Lintian] Insert correct copyright in debian/copyright
-- Stefan Schimanski <schimmi@debian.org> Wed, 19 Mar 2008 19:25:44 +0200
2007
proofgeneral (3.5-6) unstable; urgency=low
* Removed support for mzscheme <300 * Only use one startup script for all emacs versions * Added nl translation. Closes: 418390 * Moved to menu section Applications/Science/Mathematics
-- Stefan Schimanski <schimmi@debian.org> Sun, 21 Oct 2007 17:36:26 +0200
proofgeneral (3.5-5) unstable; urgency=low
* Fix emacs dependencies. Emacs22 is current now in sid. Closes: 434975, 403147
-- Stefan Schimanski <schimmi@debian.org> Sun, 07 Oct 2007 23:03:21 +0200
2006
proofgeneral (3.5-4.1) unstable; urgency=low
* Non-maintainer upload to fix an RC bug
* Move debhelper and mzscheme to Build-Depends. Closes: 403572
Lintian warnings are things that should be taken seriously.
* Lintian fixes:
- Remove useless CVS directory minlog/CVS
- Use 4 as debhelper compatibility (through debian/compat)
-- Christian Perrier <bubulle@debian.org> Tue, 19 Dec 2006 08:27:28 +0100
proofgeneral (3.5-4) unstable; urgency=low
* Added support for Minlog
* Do not load proof-site.el automatically anymore, but instead
install an interactive function "proofgeneral". It then loads
the ProofGeneral and, most importantly, assign the file extension
to ProofGeneral. Closes: #260074,#176921
-- Stefan Schimanski <schimmi@debian.org> Wed, 6 Dec 2006 21:47:30 +0200
proofgeneral (3.5-3.1) unstable; urgency=low
* Non maintainer upload to fix longstanding l10n issues * Add debconf-2.0 as alternative to debconf. Closes: #332077 * Debconf templates translations: - Added Vietnamese. Closes: #317611 - Added Japasese. Closes: #288029 - Added Czech. Closes: #308466 - Added Swedish. Closes: #332359 - Added Brazilian Portuguese. Sent during the call for updates of the NMU. - Added Russian. Sent during the call for updates of the NMU. - Added Portuguese. Sent during the call for updates of the NMU. - Added German. Sent during the call for updates of the NMU.
-- Christian Perrier <bubulle@debian.org> Sat, 7 Oct 2006 00:33:05 +0200
2004
proofgeneral (3.5-3) unstable; urgency=low
* Updated maintainer email address.
-- Stefan Schimanski <schimmi@debian.org> Fri, 20 Aug 2004 14:38:30 +0200
proofgeneral (3.5-2) unstable; urgency=low
* Fixed info path (closes: #215126) * Fixed typos (closes: #239005) * Fixed url to ProofGeneral homepage (closes: #262636) * This is 3.5 (closes #247854) * Load ~/.proofgeneral if available from proofgeneral script (closes #252252)
-- Stefan Schimanski <schimmi@debian.org> Fri, 20 Aug 2004 14:18:46 +0200
proofgeneral (3.5-1) unstable; urgency=low
* New upstream release.
-- Stefan Schimanski <schimmi@debian.org> Mon, 20 Aug 2004 13:40:30 +0200
2003
proofgeneral (3.4-14) unstable; urgency=low
* Added french translation for the debconf templates (thanks to Michel
Grentzinger, closes: #207869).
-- Stefan Schimanski <schimmi@debian.org> Sat, 30 Aug 2003 13:46:20 +0200
proofgeneral (3.4-13) unstable; urgency=low
* Changed debhelper dependency to 4.1.16. * Prepared for translations (thanks to Michel Grentzinger, closes: #207106). * Increased policy standard. * Fixed icon colors.
-- Stefan Schimanski <schimmi@debian.org> Mon, 25 Aug 2003 13:00:21 +0200
2002
proofgeneral (3.4-12) unstable; urgency=low
* Added note about remove behaviour to startup files.
* Symlink the xemacs21 startup file to the emacs21 startup file as
they are the same anyway.
-- Stefan Schimanski <schimmi@kde.org> Mon, 30 Sep 2002 21:43:08 +0200
proofgeneral (3.4-11) unstable; urgency=medium
* Remove old startup files from 3.4-x, x<10 versions (closes: Bug#162354). * Ask with debconf wether Proof General should be loaded automatically on Emacs startup.
-- Stefan Schimanski <schimmi@kde.org> Thu, 26 Sep 2002 23:35:08 +0200
proofgeneral (3.4-10) unstable; urgency=low
* Install startup file 50proofgeneral only for support flavors, not
into a general place (closes: Bug #162354).
* Fix the 50proofgeneral startup file to use the correct path.
* Documented the EMACS variable in the proofgeneral manual page.
-- Stefan Schimanski <schimmi@kde.org> Thu, 26 Sep 2002 02:18:52 +0200
proofgeneral (3.4-9) unstable; urgency=low
* Fixed naming of toolbar icons for xemacs.
-- Stefan Schimanski <schimmi@kde.org> Tue, 24 Sep 2002 19:21:48 +0200
proofgeneral (3.4-8) unstable; urgency=low
* Fixed appearing proofgeneral icons in the default emacs21 toolbar.
-- Stefan Schimanski <schimmi@kde.org> Sun, 22 Sep 2002 12:56:37 +0200
proofgeneral (3.4-7) unstable; urgency=low
* Install to /usr/share/emacs/site-lisp/proofgeneral.
-- Stefan Schimanski <schimmi@kde.org> Sun, 15 Sep 2002 14:15:24 +0200
proofgeneral (3.4-6) unstable; urgency=low
* Added symlinks to proofgeneral.info* and proofgeneral-adapting.info*. * Removed build deps for imagemagic and emacsen. * Install to /usr/share/emacs/proofgeneral.
-- Stefan Schimanski <schimmi@kde.org> Sat, 14 Sep 2002 23:00:37 +0200
proofgeneral (3.4-5) unstable; urgency=low
* Fixed icon for menu.
-- Stefan Schimanski <schimmi@kde.org> Sat, 14 Sep 2002 13:30:03 +0200
proofgeneral (3.4-4) unstable; urgency=low
* Updated manpages. * Added full path name to Proof General archive in debian/copyright.
-- Stefan Schimanski <schimmi@kde.org> Fri, 13 Sep 2002 21:36:11 +0200
proofgeneral (3.4-3) unstable; urgency=low
* Install info files into section Emacs. * Updated manpages. * Enhanced copyright file. * Build-Depends -> Build-Depends-Indep in debian/control. * Package descriptions improved. * proofgeneral-coq no long depends on, but only recommends coq. * Pregenerated proofgeneral.xpm instead of build-time generation.
-- Stefan Schimanski <schimmi@kde.org> Fri, 13 Sep 2002 00:42:45 +0200
proofgeneral (3.4-2) unstable; urgency=low
* Create proper source package.
* Added newline in proofgeneral.emacsen-startup.
* Use color map for menu icon from /usr/share/pixmaps/cmap.xpm which
seems to be the default in newest menu package.
* Added manual pages proofgeneral(1), isartags(1), coqtags(1), legotags(1).
-- Stefan Schimanski <schimmi@kde.org> Wed, 4 Sep 2002 17:15:20 +0200
proofgeneral (3.4-1) unstable; urgency=low
* Initial Release.
-- Stefan Schimanski <schimmi@kde.org> Tue, 03 Sep 2002 11:55:15 +0200