[acl2/acl2] 1406e0: Changed "descendent" to preferred spelling, "desce...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 1406e049418a28c290d8ba75498ee90ab3b474e7
https://github.com/acl2/acl2/commit/1406e049418a28c290d8ba75498ee90ab3b474e7
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M acl2-check.lisp
M acl2-fns.lisp
M acl2-init.lisp
M acl2.lisp
M akcl-acl2-trace.lisp
M allegro-acl2-trace.lisp
M apply-constraints.lisp
M apply-prim.lisp
M apply-raw.lisp
M apply.lisp
M axioms.lisp
M basis-a.lisp
M basis-b.lisp
M bdd.lisp
M books/system/doc/acl2-doc.lisp
M boot-strap-pass-2-a.lisp
M boot-strap-pass-2-b.lisp
M defpkgs.lisp
M defthm.lisp
M defuns.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M float-a.lisp
M float-b.lisp
M float-raw.lisp
M futures-raw.lisp
M history-management.lisp
M hons-raw.lisp
M hons.lisp
M induct.lisp
M init.lisp
M interface-raw.lisp
M ld.lisp
M linear-a.lisp
M linear-b.lisp
M memoize-raw.lisp
M memoize.lisp
M multi-threading-raw.lisp
M non-linear.lisp
M openmcl-acl2-trace.lisp
M other-events.lisp
M other-processes.lisp
M parallel-raw.lisp
M parallel.lisp
M proof-builder-a.lisp
M proof-builder-b.lisp
M proof-builder-pkg.lisp
M prove.lisp
M rewrite.lisp
M serialize-raw.lisp
M serialize.lisp
M simplify.lisp
M tau.lisp
M translate.lisp
M type-set-a.lisp
M type-set-b.lisp

Log Message:
-----------
Changed "descendent" to preferred spelling, "descendant", in comments and :DOC.

Again, thanks to Eric Smith via Gemini.

Since these are comment-only changes in the sources, I didn't do my
usual regression-fresh run this time; I just rebuilt and certified based on
changes to books/system/doc/acl2-doc.lisp.



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

[MattKaufmann]

Branch: refs/heads/testing