~ubuntu-branches/ubuntu/natty/prover9-manual/natty : changes

From Revision 7

Rev	Summary	Authors	Tags	Date
7	* New upstream release. * New upstream release. * debian/examples: updated * debian/control: new Standards-Version	Peter Collingbourne	0.0.200902a-1	15 years ago
6	* New upstream release. * New upstream release. * debian/examples: updated * debian/control: Vcs-Bzr uses nosmart+http protocol * debian/control, debian/copyright: changed maintainer email address (again) * debian/copyright: changed year to 2009, corrected expression of copyright, refer to GPL-2 explicitly * debian/install: eliminated brace expansion	Peter Collingbourne	0.0.200811a-1	15 years ago
5	* New upstream release. * New upstream release. * debian/control, debian/copyright: changed maintainer email address	Peter Collingbourne	0.0.200809a-1	15 years ago
4	* New upstream release. * New upstream release. * debian/control: new Standards-Version	Peter Collingbourne	0.0.200806a-1	15 years ago
3	* New upstream release. * New upstream release. * debian/control: added DM-Upload-Allowed: yes	Peter Collingbourne	0.0.200805a-1	16 years ago
2	* New upstream release. * New upstream release. * debian/watch: added support for new version numbering scheme	Peter Collingbourne	0.0.200804a-1	16 years ago
1	Import upstream version 0.0.200804a Import upstream version 0.0.200804a	Peter Collingbourne	upstream-0.0.200804a	16 years ago