Viewing all changes in revision 4.
- Committer: Bazaar Package Importer
- Date: 2008-06-29 03:23:16 UTC
- mfrom: (1.1.2 upstream)
- Revision ID: james.westby@ubuntu.com-20080629032316-kqx2jctzl07isx21
* New upstream release.
* debian/patches/01-libtoolise.dpatch: new source file weight2.c
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version, updated for new prover9-doc
* debian/prooftrans.1: documented new tagged format
* debian/patches/01-libtoolise.dpatch: new source file weight2.c
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version, updated for new prover9-doc
* debian/prooftrans.1: documented new tagged format
- files added:
- bob
- files removed:
- ladr/symbols.h.bak
- files modified:
- Changelog
expand all
collapse all
added
removed
