1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
|
proofgeneral (3.7-4) unstable; urgency=low
* QA upload
* Use Debian QQA as maintainer. Closes: #554263
* Danish debconf translation update. Closes: #592274
-- Christian Perrier <bubulle@debian.org> Mon, 11 Oct 2010 21:47:36 +0200
proofgeneral (3.7-3.1) unstable; urgency=low
* Non-maintainer upload.
* Trivial lintian fixes:
- Add ${misc:Depends} to binary packages dependencies
so that debhelper-triggered dependencies are properly
added at build time.
- Bump debhelper compatibility to 7
- Replace calls to deprecated "dh_clean -k" by dh_prep
- Have copyright file refer to the versioned GPL-2
license file
- Drop calls to install-info to register info pages as
this is now handled by triggers
- As a consequence, drop the now empty proofgeneral.prerm
script
- No longer ignore errors in proofgeneral.postinst,
proofgeneral.presinst and proofgeneral.config (use "set -e")
- Add dependency on "dpkg (>= 1.15.4) | install-info"
to properly ihandle info documents installation
* Fix pending l10n issues. Debconf translations:
- Swedish (Martin Bagge). Closes: #504034
- Japanese (Hideki Yamane (Debian-JP)). Closes: #510721
- Spanish (Fernando González de Requena). Closes: #520539
- Italian (Luca Monducci). Closes: #546648
-- Christian Perrier <bubulle@debian.org> Sat, 19 Sep 2009 07:47:14 +0200
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
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
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
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
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
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
|
