~ubuntu-branches/ubuntu/lucid/ladr/lucid

Committer: Bazaar Package Importer
Author(s): Peter Collingbourne
Date: 2008-06-29 03:23:16 UTC
mfrom: (1.1.2 upstream)
Revision ID: james.westby@ubuntu.com-20080629032316-kqx2jctzl07isx21

Tags: 0.0.200806a-1

* 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

files added:
bob

bob/ChangelogBV

bob/ioutil.c

bob/ioutil.h

bob/just.c

bob/prooftrans.c

ladr/a.out

ladr/b1.out

ladr/kol.pl

ladr/kol.py

ladr/save/call_weight.c

ladr/t1.in

ladr/temp

ladr/temp25

ladr/weight2.c

ladr/weight2.h

ladr/weighttest

provers.src/b1.prf

provers.src/t1.py

provers.src/t1.str

files removed:
ladr/symbols.h.bak

ladr/term.h.bak

temp

files modified:
Changelog

VERSION_DATE.h

apps.src/prooftrans.c

debian/changelog

debian/control

debian/libladr4.symbols

debian/patches/01-libtoolise.dpatch

debian/prooftrans.1

ladr/Makefile

ladr/attrib.c

ladr/attrib.h

ladr/ioutil.c

ladr/ioutil.h

ladr/just.c

ladr/just.h

ladr/parse.c

ladr/parse.h

ladr/subsume.c

ladr/term.c

ladr/term.h

ladr/tptp_trans.c

ladr/weight.c

provers.src/giv_select.c

provers.src/search.c

Show diffs side-by-side

added added

removed removed

ladr/attrib.h

Term get_term_attribute(Attribute a, int id, int n);

Term get_term_attributes(Attribute a, int id);

Attribute set_string_attribute(Attribute a, int id, char *val);

char *get_string_attribute(Attribute a, int id, int n);

Older »