← Back to branch summary

~ubuntu-branches/ubuntu/quantal/ladr/quantal

~ubuntu-branches/ubuntu/quantal/ladr/quantal

Viewing all changes in revision 3.

Committer: Bazaar Package Importer
Author(s): Peter Collingbourne
Date: 2008-05-12 18:07:55 UTC
mfrom: (1.1.1 upstream)
Revision ID: james.westby@ubuntu.com-20080512180755-iznzwl1ngypayby3

Tags: 0.0.200805a-1

* New upstream release.
* debian/libladr4.symbols: added new symbols
* debian/control
- updated for new prover9-doc
- added DM-Upload-Allowed: yes
* debian/copyright: give correct license information

files added:
ladr/symbols.h.bak

ladr/term.h.bak

provers.src/giv_select.h.bak

temp

files removed:
ladr/tmp

ladr/tmp/ac_redun.c

ladr/tmp/accanon.c

ladr/tmp/attrib.c

ladr/tmp/avltree.c

ladr/tmp/backdemod.c

ladr/tmp/banner.c

ladr/tmp/basic.c

ladr/tmp/btm.c

ladr/tmp/btu.c

ladr/tmp/clash.c

ladr/tmp/clause_misc.c

ladr/tmp/clauseid.c

ladr/tmp/clauses.c

ladr/tmp/clausify.c

ladr/tmp/clist.c

ladr/tmp/clock.c

ladr/tmp/cnf.c

ladr/tmp/compress.c

ladr/tmp/definitions.c

ladr/tmp/demod.c

ladr/tmp/di_tree.c

ladr/tmp/dioph.c

ladr/tmp/discrim.c

ladr/tmp/discrimb.c

ladr/tmp/discrimw.c

ladr/tmp/fastparse.c

ladr/tmp/fatal.c

ladr/tmp/features.c

ladr/tmp/flatdemod.c

ladr/tmp/flatterm.c

ladr/tmp/formula.c

ladr/tmp/fpa.c

ladr/tmp/fpalist.c

ladr/tmp/glist.c

ladr/tmp/hash.c

ladr/tmp/hints.c

ladr/tmp/ibuffer.c

ladr/tmp/int_code.c

ladr/tmp/interp.c

ladr/tmp/ioutil.c

ladr/tmp/ivy.c

ladr/tmp/just.c

ladr/tmp/lindex.c

ladr/tmp/listterm.c

ladr/tmp/literals.c

ladr/tmp/maximal.c

ladr/tmp/memory.c

ladr/tmp/mindex.c

ladr/tmp/multiset.c

ladr/tmp/nonport.c

ladr/tmp/options.c

ladr/tmp/order.c

ladr/tmp/paramod.c

ladr/tmp/parautil.c

ladr/tmp/parse.c

ladr/tmp/pindex.c

ladr/tmp/random.c

ladr/tmp/resolve.c

ladr/tmp/std_options.c

ladr/tmp/strbuf.c

ladr/tmp/string.c

ladr/tmp/subsume.c

ladr/tmp/symbols.c

ladr/tmp/term.c

ladr/tmp/termflag.c

ladr/tmp/termorder.c

ladr/tmp/test.c

ladr/tmp/tlist.c

ladr/tmp/top_input.c

ladr/tmp/topform.c

ladr/tmp/tptp_trans.c

ladr/tmp/unify.c

ladr/tmp/weight.c

ladr/tmp/xproofs.c

sed1

files modified:
Changelog

VERSION_DATE.h

apps.src/directproof.c

debian/changelog

debian/control

debian/copyright

debian/libladr4.symbols

ladr/clause_eval.c

ladr/clause_eval.h

ladr/definitions.c

ladr/definitions.h

ladr/multiset.c

ladr/multiset.h

ladr/symbols.c

ladr/symbols.h

ladr/term.c

ladr/term.h

ladr/weight.c

provers.src/foffer.c

provers.src/giv_select.c

provers.src/giv_select.h

provers.src/search.c

provers.src/white_black.c

provers.src/white_black.h

sed.gnu-blurb

Show diffs side-by-side

added added

removed removed

apps.src/directproof.c

debian/changelog

debian/copyright

debian/libladr4.symbols

ladr/clause_eval.c

ladr/clause_eval.h

ladr/definitions.c

ladr/definitions.h

ladr/multiset.c

ladr/multiset.h

ladr/symbols.h.bak

ladr/term.h.bak

ladr/tmp/ac_redun.c

ladr/tmp/accanon.c

ladr/tmp/attrib.c

ladr/tmp/avltree.c

ladr/tmp/backdemod.c

ladr/tmp/basic.c

ladr/tmp/clash.c

ladr/tmp/clause_misc.c

ladr/tmp/clauseid.c

ladr/tmp/clauses.c

ladr/tmp/clausify.c

ladr/tmp/clist.c

ladr/tmp/clock.c

ladr/tmp/compress.c

ladr/tmp/definitions.c

ladr/tmp/demod.c

ladr/tmp/di_tree.c

ladr/tmp/dioph.c

ladr/tmp/discrim.c

ladr/tmp/discrimb.c

ladr/tmp/discrimw.c

ladr/tmp/fastparse.c

ladr/tmp/fatal.c

ladr/tmp/features.c

ladr/tmp/flatdemod.c

ladr/tmp/flatterm.c

ladr/tmp/formula.c

ladr/tmp/fpalist.c

ladr/tmp/glist.c

ladr/tmp/hash.c

ladr/tmp/hints.c

ladr/tmp/ibuffer.c

ladr/tmp/int_code.c

ladr/tmp/interp.c

ladr/tmp/ioutil.c

ladr/tmp/just.c

ladr/tmp/lindex.c

ladr/tmp/listterm.c

ladr/tmp/literals.c

ladr/tmp/maximal.c

ladr/tmp/memory.c

ladr/tmp/mindex.c

ladr/tmp/multiset.c

ladr/tmp/nonport.c

ladr/tmp/options.c

ladr/tmp/order.c

ladr/tmp/paramod.c

ladr/tmp/parautil.c

ladr/tmp/parse.c

ladr/tmp/pindex.c

ladr/tmp/random.c

ladr/tmp/resolve.c

ladr/tmp/std_options.c

ladr/tmp/strbuf.c

ladr/tmp/string.c

ladr/tmp/subsume.c

ladr/tmp/symbols.c

ladr/tmp/term.c

ladr/tmp/termflag.c

ladr/tmp/termorder.c

ladr/tmp/test.c

ladr/tmp/tlist.c

ladr/tmp/top_input.c

ladr/tmp/topform.c

ladr/tmp/tptp_trans.c

ladr/tmp/unify.c

ladr/tmp/weight.c

ladr/tmp/xproofs.c

provers.src/foffer.c

provers.src/giv_select.c

provers.src/giv_select.h

provers.src/giv_select.h.bak

provers.src/search.c

provers.src/white_black.c

provers.src/white_black.h

Older »