| Patch |
File delta |
Description |
| remove pcert elementary bounders for final file | (download) |
books/tau/bounders/elementary-bounders.lisp |
2 0 + 2 - 0 !
1 file changed, 2 deletions(-) |
fix elementary-bounders .final file
pcert appears to interfere with the certification path renaming
mechanism. This patch was suggested by upstream as a workaround.
.
acl2 (7.0-1) unstable; urgency=medium
.
* New upstream release
|
| remove pcert local elided for final file | (download) |
books/make-event/local-elided.lisp |
2 0 + 2 - 0 !
1 file changed, 2 deletions(-) |
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
acl2 (7.0-1) unstable; urgency=medium
.
* New upstream release
|
| do not pre allocate contiguous blocks1 in acl2.lisp | (download) |
acl2.lisp |
8 4 + 4 - 0 !
1 file changed, 4 insertions(+), 4 deletions(-) |
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
acl2 (8.0dfsg-1) unstable; urgency=medium
.
* New upstream release
* Applied dfsg changes from 7.1
|
| compile_with_split_files | (download) |
GNUmakefile |
2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-) |
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
acl2 (8.2dfsg-3) unstable; urgency=medium
.
* revert -2, set *split-files* to 100000 instead
|
| UTF 8 encoding | (download) |
axioms.lisp |
2 1 + 1 - 0 !
books/defexec/dag-unification/dag-unification-l.lisp |
4 2 + 2 - 0 !
books/defexec/dag-unification/dag-unification-rules.lisp |
4 2 + 2 - 0 !
books/defexec/dag-unification/dag-unification-st.lisp |
8 4 + 4 - 0 !
books/defexec/dag-unification/dags.lisp |
10 5 + 5 - 0 !
books/defexec/dag-unification/list-unification-rules.lisp |
4 2 + 2 - 0 !
books/defexec/dag-unification/matching.lisp |
32 16 + 16 - 0 !
books/defexec/dag-unification/subsumption-subst.lisp |
34 17 + 17 - 0 !
books/defexec/dag-unification/subsumption.lisp |
26 13 + 13 - 0 !
books/defexec/dag-unification/terms-as-dag.lisp |
4 2 + 2 - 0 !
books/defexec/dag-unification/terms-dag-stobj.lisp |
4 2 + 2 - 0 !
books/defexec/dag-unification/terms.lisp |
26 13 + 13 - 0 !
books/workshops/2000/medina/polynomials/README |
2 1 + 1 - 0 !
books/workshops/2000/medina/polynomials/polynomial.lisp |
2 1 + 1 - 0 !
books/workshops/2000/medina/polynomials/term.lisp |
4 2 + 2 - 0 !
books/workshops/2000/ruiz/multiset/examples/ackermann/ackermann.lisp |
8 4 + 4 - 0 !
books/workshops/2000/ruiz/multiset/examples/newman/confluence-v0.lisp |
8 4 + 4 - 0 !
books/workshops/2000/ruiz/multiset/examples/newman/confluence.lisp |
8 4 + 4 - 0 !
books/workshops/2000/ruiz/multiset/examples/newman/local-confluence.lisp |
22 11 + 11 - 0 !
books/workshops/2000/ruiz/multiset/examples/newman/newman.lisp |
62 31 + 31 - 0 !
books/workshops/2000/ruiz/multiset/multiset.lisp |
18 9 + 9 - 0 !
books/workshops/2002/medina-palomo-alonso/support/section-2/README |
2 1 + 1 - 0 !
books/workshops/2002/medina-palomo-alonso/support/section-3/README |
2 1 + 1 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support/dags.lisp |
8 4 + 4 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support/terms.lisp |
26 13 + 13 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/anti-unification.lisp |
12 6 + 6 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/matching.lisp |
32 16 + 16 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/renamings.lisp |
52 26 + 26 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/subsumption-subst.lisp |
34 17 + 17 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/subsumption.lisp |
24 12 + 12 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/terms.lisp |
26 13 + 13 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/unification-pattern.lisp |
134 67 + 67 - 0 !
books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/unification.lisp |
24 12 + 12 - 0 !
books/workshops/2004/ruiz-et-al/support/basic.lisp |
2 1 + 1 - 0 !
books/workshops/2004/ruiz-et-al/support/dag-unification-rules.lisp |
12 6 + 6 - 0 !
books/workshops/2004/ruiz-et-al/support/dags.lisp |
10 5 + 5 - 0 !
books/workshops/2004/ruiz-et-al/support/matching.lisp |
32 16 + 16 - 0 !
books/workshops/2004/ruiz-et-al/support/prefix-unification-rules.lisp |
4 2 + 2 - 0 !
books/workshops/2004/ruiz-et-al/support/q-dag-unification-rules.lisp |
4 2 + 2 - 0 !
books/workshops/2004/ruiz-et-al/support/q-dag-unification-st.lisp |
8 4 + 4 - 0 !
books/workshops/2004/ruiz-et-al/support/q-dag-unification.lisp |
10 5 + 5 - 0 !
books/workshops/2004/ruiz-et-al/support/subsumption-subst.lisp |
34 17 + 17 - 0 !
books/workshops/2004/ruiz-et-al/support/subsumption.lisp |
26 13 + 13 - 0 !
books/workshops/2004/ruiz-et-al/support/terms-as-dag.lisp |
4 2 + 2 - 0 !
books/workshops/2004/ruiz-et-al/support/terms.lisp |
26 13 + 13 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/coe-fld.lisp |
88 44 + 44 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fucongruencias-producto.lisp |
44 22 + 22 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fucongruencias-suma.lisp |
26 13 + 13 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuforma-normal.lisp |
78 39 + 39 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fumonomio.lisp |
46 23 + 23 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuopuesto.lisp |
18 9 + 9 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fupolinomio-normalizado.lisp |
14 7 + 7 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fupolinomio.lisp |
14 7 + 7 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuproducto.lisp |
20 10 + 10 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fusuma.lisp |
10 5 + 5 - 0 !
books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/futermino.lisp |
66 33 + 33 - 0 !
books/workshops/2007/cowles-et-al/support/greve/ack.lisp |
2 1 + 1 - 0 !
books/workshops/2007/cowles-et-al/support/greve/defminterm.lisp |
2 1 + 1 - 0 !
books/workshops/2007/cowles-et-al/support/greve/defxch.lisp |
2 1 + 1 - 0 !
books/workshops/2007/rubio/support/abstract-reductions/confluence.lisp |
14 7 + 7 - 0 !
books/workshops/2007/rubio/support/abstract-reductions/convergent.lisp |
20 10 + 10 - 0 !
books/workshops/2007/rubio/support/abstract-reductions/newman.lisp |
72 36 + 36 - 0 !
books/workshops/2007/rubio/support/multisets/multiset.lisp |
42 21 + 21 - 0 !
books/workshops/2007/rubio/support/simplicial-topology/generate-degenerate.lisp |
2 1 + 1 - 0 !
64 files changed, 710 insertions(+), 710 deletions(-) |
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
acl2 (8.3dfsg-2) unstable; urgency=medium
.
* certify-books -> regression-fresh
* debhelper-compat ( = 13 )
* standards 4.5.0
* ISO-8859-16 -> UTF-8
* watch version 4
* lintian override: rfc2388.txt is not a license file
* clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok
|
| remove w3 validation badge | (download) |
doc/home-page.html |
1 0 + 1 - 0 !
1 file changed, 1 deletion(-) |
<short summary of the patch>
TODO: Put a short summary on the line above and replace this paragraph
with a longer explanation of this change. Complete the meta-information
with other relevant fields (see below for details). To make it easier, the
information below has been extracted from the changelog. Adjust it or drop
it.
.
acl2 (8.3dfsg-2) unstable; urgency=medium
.
* certify-books -> regression-fresh
* debhelper-compat ( = 13 )
* standards 4.5.0
* ISO-8859-16 -> UTF-8
* watch version 4
* lintian override: rfc2388.txt is not a license file
* clean books/centaur/vl/kit/test.vlzip books/centaur/getopt/demo2 books/centaur/getopt/demo2-test.ok
|
