[acl2/acl2] ec0bb7: [PFCS] Improve some variable names for consistency.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: ec0bb784cdeecfe6b01394ef6188cc300452c27f
https://github.com/acl2/acl2/commit/ec0bb784cdeecfe6b01394ef6188cc300452c27f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-15 (Sun, 15 Mar 2026)

Changed paths:
M books/projects/pfcs/proof-support.lisp

Log Message:
-----------
[PFCS] Improve some variable names for consistency.


Commit: ad2da448ca5a64a477691906d32e4e0a1c2b545c
https://github.com/acl2/acl2/commit/ad2da448ca5a64a477691906d32e4e0a1c2b545c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-15 (Sun, 15 Mar 2026)

Changed paths:
M books/projects/pfcs/proof-support.lisp

Log Message:
-----------
[PFCS] Improve a variable name for consistency.


Commit: e3a9ef7baa1842f805c30bf2e9339c0f69eda9f5
https://github.com/acl2/acl2/commit/e3a9ef7baa1842f805c30bf2e9339c0f69eda9f5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-15 (Sun, 15 Mar 2026)

Changed paths:
M books/std/basic/top.lisp
A books/std/basic/yyyjoin.lisp

Log Message:
-----------
[Std/basic] Add `yyyjoin`.


Commit: c52c8ca0a0981f963e29d4c5059ef82530ed3ff9
https://github.com/acl2/acl2/commit/c52c8ca0a0981f963e29d4c5059ef82530ed3ff9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-15 (Sun, 15 Mar 2026)

Changed paths:
M books/projects/pfcs/convenience-constructors.lisp
M books/projects/pfcs/package.lsp

Log Message:
-----------
[PFCS] Use the newly added `yyyjoin` from Std/basic.


Commit: 73d22f44eb68479ed344f5803c208f0135391b02
https://github.com/acl2/acl2/commit/73d22f44eb68479ed344f5803c208f0135391b02
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-16 (Mon, 16 Mar 2026)

Changed paths:
M bin/purity-acl2.sh
M books/doc/practices.lisp
M books/kestrel/c/syntax/macro-tables.lisp
M books/kestrel/c/syntax/package.lsp
M books/kestrel/c/syntax/preprocessor-evaluator.lisp
M books/kestrel/c/syntax/preprocessor-files.lisp
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-lexer.lisp
M books/kestrel/c/syntax/preprocessor-messages.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/stringization.lisp
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
M books/kestrel/c/syntax/token-concatenation.lisp
A books/misc/character-encoding-test.acl2
M books/misc/character-encoding-test.lisp
M books/projects/acl2-in-hol/lisp/axioms-essence.bash
M books/projects/acl2-in-hol/lisp/book-essence.bash
M books/projects/acl2-in-hol/tests/doit
M books/projects/hol-in-acl2/acl2/lemmas.lisp
M books/projects/hol-in-acl2/examples/eval-poly-proof.lisp
M books/projects/set-theory/cantor.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html

Log Message:
-----------
Merge.


Commit: 73212ecd7eaf85d2667e7e0b0b91d8a1cfc27354
https://github.com/acl2/acl2/commit/73212ecd7eaf85d2667e7e0b0b91d8a1cfc27354
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-16 (Mon, 16 Mar 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
Merge.


Commit: e19234e696354e01bf5048d93ecd23fe1fe5841f
https://github.com/acl2/acl2/commit/e19234e696354e01bf5048d93ecd23fe1fe5841f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-16 (Mon, 16 Mar 2026)

Changed paths:
M books/defexec/dag-unification/dag-unification-l.lisp
M books/defexec/dag-unification/dag-unification-rules.lisp
M books/defexec/dag-unification/dag-unification-st.lisp
M books/defexec/dag-unification/dags.lisp
M books/defexec/dag-unification/list-unification-rules.lisp
M books/defexec/dag-unification/matching.lisp
M books/defexec/dag-unification/subsumption-subst.lisp
M books/defexec/dag-unification/subsumption.lisp
M books/defexec/dag-unification/terms-as-dag.lisp
M books/defexec/dag-unification/terms-dag-stobj.lisp
M books/defexec/dag-unification/terms.lisp
M books/projects/acl2-in-hol/lisp/a2ml.bash
M books/projects/acl2-in-hol/tests/inputs/Makefile
M books/workshops/2000/medina/polynomials/polynomial.lisp
M books/workshops/2000/medina/polynomials/term.lisp
M books/workshops/2000/ruiz/multiset/examples/ackermann/ackermann.lisp
M books/workshops/2000/ruiz/multiset/examples/newman/confluence-v0.lisp
M books/workshops/2000/ruiz/multiset/examples/newman/confluence.lisp
M books/workshops/2000/ruiz/multiset/examples/newman/local-confluence.lisp
M books/workshops/2000/ruiz/multiset/examples/newman/newman.lisp
M books/workshops/2000/ruiz/multiset/multiset.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support/dags.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-dags/support/terms.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/anti-unification.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/matching.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/renamings.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/subsumption-subst.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/subsumption.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/terms.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/unification-pattern.lisp
M books/workshops/2002/ruiz-alonso-hidalgo-martin-theory-terms/support/unification.lisp
M books/workshops/2004/ruiz-et-al/support/basic.lisp
M books/workshops/2004/ruiz-et-al/support/dag-unification-rules.lisp
M books/workshops/2004/ruiz-et-al/support/dags.lisp
M books/workshops/2004/ruiz-et-al/support/matching.lisp
M books/workshops/2004/ruiz-et-al/support/prefix-unification-rules.lisp
M books/workshops/2004/ruiz-et-al/support/q-dag-unification-rules.lisp
M books/workshops/2004/ruiz-et-al/support/q-dag-unification-st.lisp
M books/workshops/2004/ruiz-et-al/support/q-dag-unification.lisp
M books/workshops/2004/ruiz-et-al/support/subsumption-subst.lisp
M books/workshops/2004/ruiz-et-al/support/subsumption.lisp
M books/workshops/2004/ruiz-et-al/support/terms-as-dag.lisp
M books/workshops/2004/ruiz-et-al/support/terms.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/coe-fld.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fucongruencias-producto.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fucongruencias-suma.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuforma-normal.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fumonomio.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuopuesto.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fupolinomio-normalizado.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fupolinomio.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fuproducto.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/fusuma.lisp
M books/workshops/2006/cowles-gamboa-euclid/Euclid/fld-u-poly/futermino.lisp
M books/workshops/2007/cowles-et-al/support/greve/ack.lisp
M books/workshops/2007/cowles-et-al/support/greve/defminterm.lisp
M books/workshops/2007/cowles-et-al/support/greve/defxch.lisp
M books/workshops/2007/rubio/support/abstract-reductions/confluence.lisp
M books/workshops/2007/rubio/support/abstract-reductions/convergent.lisp
M books/workshops/2007/rubio/support/abstract-reductions/newman.lisp
M books/workshops/2007/rubio/support/multisets/multiset.lisp
M books/workshops/2007/rubio/support/simplicial-topology/generate-degenerate.lisp

Log Message:
-----------
Merge.


Commit: d6f63bbf9b475f4aa8f0d3cd2fc1478e3a0ba11d
https://github.com/acl2/acl2/commit/d6f63bbf9b475f4aa8f0d3cd2fc1478e3a0ba11d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/doc/practices.lisp
M books/doc/relnotes.lisp
M books/doc/top.lisp
M books/kestrel/bitcoin/bech32.lisp
M books/kestrel/x86/assumptions-new.lisp
M books/std/system/remove-dead-if-branches.lisp
M books/system/doc/acl2-doc.lisp
M books/xdoc/save-classic.lisp
M books/xdoc/save-fancy.lisp
M books/xdoc/save-rendered.lisp
M books/xdoc/save.lisp
M books/xdoc/topics.lisp

Log Message:
-----------
Merge.


Commit: 6b2177722615264e303b9597b77fc74092c31eb1
https://github.com/acl2/acl2/commit/6b2177722615264e303b9597b77fc74092c31eb1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/doc/relnotes.lisp
A books/kestrel/axe/arm/doc.acl2
A books/kestrel/axe/arm/doc.lisp
M books/kestrel/axe/doc.lisp

Log Message:
-----------
Merge.


Commit: 640a7b1173d92196f0cf79727c47fa45000370a2
https://github.com/acl2/acl2/commit/640a7b1173d92196f0cf79727c47fa45000370a2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/std/basic/yyyjoin.lisp

Log Message:
-----------
[Std/basic] Add XDOC parent.


Compare: https://github.com/acl2/acl2/compare/5a807f36836c...640a7b1173d9

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Alessandro Coglio]

Branch: refs/heads/testing