Viewing all changes in revision 7.
- Committer: Bazaar Package Importer
- Date: 2009-03-14 23:55:22 UTC
- mfrom: (1.1.5 upstream)
- Revision ID: james.westby@ubuntu.com-20090314235522-w1iz8yhtqtav6pp2
* New upstream release.
* debian/control: updated for new prover9-doc
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
complex, removed application rewriter2
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version
* debian/control: updated for new prover9-doc
* debian/ladr4-apps.install, debian/ladr4-apps.links: new application
complex, removed application rewriter2
* debian/libladr4.symbols: updated
* debian/control: new Standards-Version
- files added:
- apps.src/H65d.givens
- files removed:
- provers.src/mystery.inA
- files modified:
- Changelog
expand all
collapse all
added
removed
