← Back to branch summary

~ubuntu-branches/ubuntu/intrepid/prover9-manual/intrepid

  • Committer: Bazaar Package Importer
  • Author(s): Peter Collingbourne
  • Date: 2008-06-29 04:57:20 UTC
  • mfrom: (1.1.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20080629045720-hapr9qe6okmmazjj
Tags: 0.0.200806a-1
* New upstream release.
* debian/control: new Standards-Version
Filename Latest Rev Last Changed Committer Comment Size
..
checked-jobs 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a Diff
debian 2 16 years ago Bazaar Package Importer * New upstream release. * debian/watch: added supp Diff
navbar-version 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a Diff
references 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a Diff
util 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a Diff
actions.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 4.7 KB Diff Download File
advanced.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 878 bytes Diff Download File
andrews.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 292 bytes Diff Download File
andrews.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 99.2 KB Diff Download File
andrews.out2 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 167 KB Diff Download File
assoc-comm.clauses 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 102 bytes Diff Download File
attributes.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 3.8 KB Diff Download File
auto.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 8.7 KB Diff Download File
BA-Sheffer.demods 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 336 bytes Diff Download File
BA2.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 591 bytes Diff Download File
BA2.interps 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 2.1 KB Diff Download File
BA2.interps2 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 603 bytes Diff Download File
BA2.interps3 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 282 bytes Diff Download File
BA2.interps4 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 325 bytes Diff Download File
BA2.interps5 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 325 bytes Diff Download File
BA4.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 183 bytes Diff Download File
BA4.out 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 438 bytes Diff Download File
bool-ring.demods 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 537 bytes Diff Download File
bool-ring.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 951 bytes Diff Download File
bool-ring.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 383 bytes Diff Download File
clause-properties.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 3.3 KB Diff Download File
dependencies 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 4.3 KB Diff Download File
easy.hints 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 2.4 KB Diff Download File
easy.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 745 bytes Diff Download File
easy.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 22.4 KB Diff Download File
finalbook.pdf 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 756 KB Diff Download File
flag 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 174 bytes Diff Download File
fof-prover9.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 2.3 KB Diff Download File
glo.temp 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 58 bytes Diff Download File
glossary.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 22.7 KB Diff Download File
File go 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 2.9 KB Diff Download File
File go.options 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 278 bytes Diff Download File
go.outputs 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 540 bytes Diff Download File
goals.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 8.6 KB Diff Download File
group-terms.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 198 bytes Diff Download File
group-terms.out 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 90 bytes Diff Download File
group.demods 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 315 bytes Diff Download File
hard-hints.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 26.9 KB Diff Download File
hard.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 695 bytes Diff Download File
hard.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 42.9 KB Diff Download File
hints.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 9.6 KB Diff Download File
index.html 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 200 bytes Diff Download File
inf-rules.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 20.5 KB Diff Download File
inf-rules.html~ 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 19.9 KB Diff Download File
input.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 6.8 KB Diff Download File
install.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 1.4 KB Diff Download File
interp3.dtd 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.2 KB Diff Download File
interp3.xsl 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 3.7 KB Diff Download File
intro.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 3.9 KB Diff Download File
JA.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 360 bytes Diff Download File
limits.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 3.8 KB Diff Download File
loop.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 2.7 KB Diff Download File
LT-82-2-interp.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 502 bytes Diff Download File
LT-82-2-interp.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 4.7 KB Diff Download File
LT-82-2-x.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 445 bytes Diff Download File
LT-82-2.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 865 bytes Diff Download File
LT-82-2.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 40.7 KB Diff Download File
LT-port.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.4 KB Diff Download File
LT-port.out 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.7 KB Diff Download File
LT-port.out2 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 975 bytes Diff Download File
m4-input.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 3.7 KB Diff Download File
m4-interpformat.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 6.3 KB Diff Download File
m4-isofilter.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 3.9 KB Diff Download File
m4-options.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 9.1 KB Diff Download File
mace4.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 3.1 KB Diff Download File
File make_book 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 566 bytes Diff Download File
manual.css 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 2.8 KB Diff Download File
MOL-cand.238 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 12.1 KB Diff Download File
MOL-cand.296 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 15 KB Diff Download File
MOL.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 345 bytes Diff Download File
MOL.interps 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1 KB Diff Download File
MOL.interps2 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 435 bytes Diff Download File
more-prep.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 4.9 KB Diff Download File
nav.html 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 2.3 KB Diff Download File
non-MOL-OML.interps 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 13.1 KB Diff Download File
non-MOL-OML2.interps 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 12.9 KB Diff Download File
olsax.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.5 KB Diff Download File
olsax.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 104 KB Diff Download File
options 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 11.8 KB Diff Download File
options.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 22.8 KB Diff Download File
others.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 7.1 KB Diff Download File
otter_diff 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 46 bytes Diff Download File
output.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 14.1 KB Diff Download File
outs 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 732 bytes Diff Download File
parm 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 189 bytes Diff Download File
File port.py 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 545 bytes Diff Download File
portable.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 267 bytes Diff Download File
process-inf.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 16.3 KB Diff Download File
proof3.dtd 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.9 KB Diff Download File
proof3.dtd.0 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.9 KB Diff Download File
proof3.xsl 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 3.4 KB Diff Download File
proof3.xsl.0 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 2.7 KB Diff Download File
prooftrans.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 8.2 KB Diff Download File
prover9-5a-256t.gif 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 2.4 KB Diff Download File
PUZ031-1.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 2.4 KB Diff Download File
PUZ031-1.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 24 KB Diff Download File
PUZ031-1.out2 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 24 KB Diff Download File
PUZ031-1.p 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 4.5 KB Diff Download File
qg4-ac.interps 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 520 bytes Diff Download File
qg4.interps 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 11.3 KB Diff Download File
RBA-2.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 342 bytes Diff Download File
RBA-2.p 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 630 bytes Diff Download File
README.run 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 393 bytes Diff Download File
README.util 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 636 bytes Diff Download File
redeclare.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.1 KB Diff Download File
redeclare.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 7.5 KB Diff Download File
references.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 2.5 KB Diff Download File
references.tex 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 242 bytes Diff Download File
ring41.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1 KB Diff Download File
ring41.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 9.4 KB Diff Download File
File run-and-check 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 420 bytes Diff Download File
running.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 5.4 KB Diff Download File
sed.glossary 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 9.2 KB Diff Download File
sed.glossary-color 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 51 bytes Diff Download File
sed.int 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 60 bytes Diff Download File
sed.option-refs 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 11.2 KB Diff Download File
sed.options-code 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 154 bytes Diff Download File
sed.version 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 66 bytes Diff Download File
sed.version~ 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 66 bytes Diff Download File
sed1 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 39 bytes Diff Download File
sed3 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 322 bytes Diff Download File
select.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 11.1 KB Diff Download File
select2.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 6.9 KB Diff Download File
semantics.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 7 KB Diff Download File
File setup_book 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 636 bytes Diff Download File
stringparm 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 186 bytes Diff Download File
subset.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 98 bytes Diff Download File
subset_trans.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 193 bytes Diff Download File
subset_trans.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 6.2 KB Diff Download File
subset_trans.out2 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 6.1 KB Diff Download File
subset_trans.out3 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 6.2 KB Diff Download File
subset_trans.out4 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 6.2 KB Diff Download File
subset_trans.proof 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.2 KB Diff Download File
subset_trans.proof1 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 1.4 KB Diff Download File
subset_trans.proof2 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 1.4 KB Diff Download File
subset_trans.proof3 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 1.3 KB Diff Download File
subset_trans.proof4 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 1.4 KB Diff Download File
subset_trans.proof5.xml 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 4.1 KB Diff Download File
subset_trans.proof6 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 2 KB Diff Download File
subset_trans.proof7 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 586 bytes Diff Download File
subset_trans.proof8 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 815 bytes Diff Download File
subset_trans_expand.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 231 bytes Diff Download File
subset_trans_expand.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 5.2 KB Diff Download File
syntax.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 19.6 KB Diff Download File
talk-semantics.html 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.1 KB Diff Download File
talk-software.html 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 955 bytes Diff Download File
template.glossary 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 73 bytes Diff Download File
template.reference 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 34 bytes Diff Download File
term-order.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 11.3 KB Diff Download File
TODO 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 192 bytes Diff Download File
trans.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 94 bytes Diff Download File
ubset_trans.proof2 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.4 KB Diff Download File
uc-18.interps 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 8.8 KB Diff Download File
uc-hunt.clauses 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 1.1 KB Diff Download File
uc-hunt.out 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 2.2 KB Diff Download File
weight.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 9.8 KB Diff Download File
weight_test.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 217 bytes Diff Download File
weight_test.out 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 90 bytes Diff Download File
white-black.html 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 2.9 KB Diff Download File
x2.cooked 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 575 bytes Diff Download File
x2.in 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 161 bytes Diff Download File
x2.mace4.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 4.2 KB Diff Download File
x2.portable 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 513 bytes Diff Download File
x2.prover9.out 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 4.7 KB Diff Download File
x2.raw 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 312 bytes Diff Download File
x2.standard 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 249 bytes Diff Download File
x2.standard2 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 303 bytes Diff Download File
x2.tabular 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 326 bytes Diff Download File
x2.tex 1 16 years ago Bazaar Package Importer Import upstream version 0.0.200804a 536 bytes Diff Download File
x2.xml 1.1.2 15 years ago Bazaar Package Importer Import upstream version 0.0.200806a 1.6 KB Diff Download File