[acl2/acl2] fa403f: Add LIST to TYPE-SPEC doc

[MattKaufmann]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: fa403f852a82c7431c18bd376e66b682c56cc87b
https://github.com/acl2/acl2/commit/fa403f852a82c7431c18bd376e66b682c56cc87b
Author: David Taylor <jdavid...@outlook.com>
Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Add LIST to TYPE-SPEC doc


Commit: 14d7870960f0df892da4882c4f228d383b5dc8c5
https://github.com/acl2/acl2/commit/14d7870960f0df892da4882c4f228d383b5dc8c5
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Merge pull request #1853 from copperteal/type-spec/add-list-to-doc

Add `LIST` to type table in `TYPE-SPEC` doc


Compare: https://github.com/acl2/acl2/compare/6ee695d0f4e8...14d7870960f0

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

[MattKaufmann]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel

Home: https://github.com/acl2/acl2
Commit: fa403f852a82c7431c18bd376e66b682c56cc87b
https://github.com/acl2/acl2/commit/fa403f852a82c7431c18bd376e66b682c56cc87b
Author: David Taylor <jdavid...@outlook.com>
Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Add LIST to TYPE-SPEC doc

Commit: 952144127257e953bfb84e27446c6cfe05af21d6
https://github.com/acl2/acl2/commit/952144127257e953bfb84e27446c6cfe05af21d6
Author: Alessandro Coglio <em...@alessandrocoglio.info>

Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/reader.lisp

Log Message:
-----------
[C$] Attempt to fix ACL2(r) build.


Commit: c8695786778ecb09e156269814143ed8ec5ce6ec
https://github.com/acl2/acl2/commit/c8695786778ecb09e156269814143ed8ec5ce6ec

Author: David Taylor <jdavid...@outlook.com>
Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:

M books/projects/codewalker/basic-demo.lsp

Log Message:
-----------
Update Codewalker basic demo for filename adjustments

Commit: 14d7870960f0df892da4882c4f228d383b5dc8c5
https://github.com/acl2/acl2/commit/14d7870960f0df892da4882c4f228d383b5dc8c5
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Merge pull request #1853 from copperteal/type-spec/add-list-to-doc

Add `LIST` to type table in `TYPE-SPEC` doc

Commit: 220687f7f583e7d4ce7e27d60ece39339ba30ba7
https://github.com/acl2/acl2/commit/220687f7f583e7d4ce7e27d60ece39339ba30ba7
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:

M books/kestrel/c/syntax/reader.lisp

Log Message:
-----------
Merge commit '952144127257e953bfb84e27446c6cfe05af21d6' into HEAD


Commit: a8da967d3bf18ed0ae5adb943de8e728ba736587
https://github.com/acl2/acl2/commit/a8da967d3bf18ed0ae5adb943de8e728ba736587
Author: Matt Kaufmann <kauf...@cs.utexas.edu>

Date: 2025-09-21 (Sun, 21 Sep 2025)

Changed paths:

M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html

Log Message:
-----------
Synch doc.lisp etc.


Commit: b439ebe3e052f77d45930a2de28e049fd274210e
https://github.com/acl2/acl2/commit/b439ebe3e052f77d45930a2de28e049fd274210e
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2025-09-22 (Mon, 22 Sep 2025)

Changed paths:
M books/projects/codewalker/basic-demo.lsp

Log Message:
-----------
Merge pull request #1854 from copperteal/codewalker/demo-fix

Update Codewalker basic demo for filename adjustments


Commit: 4aeac394cf784a1ccc1e3af7393fb7b70bfad79d
https://github.com/acl2/acl2/commit/4aeac394cf784a1ccc1e3af7393fb7b70bfad79d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-22 (Mon, 22 Sep 2025)

Changed paths:
M books/kestrel/apt/schemalg-doc.lisp
M books/kestrel/axe/equivalence-checker.lisp
M books/kestrel/axe/jvm/rule-lists-jvm.lisp
M books/kestrel/axe/merge-nodes-into-dag-array.lisp
M books/kestrel/axe/risc-v/assumptions.lisp
M books/kestrel/axe/risc-v/read-and-write.lisp
M books/kestrel/axe/risc-v/run-until-return.lisp
M books/kestrel/axe/risc-v/unroll.lisp
M books/kestrel/axe/utilities.lisp
M books/kestrel/bv-lists/bv-array-conversions2.lisp
M books/kestrel/x86/assumptions-new.lisp
M books/kestrel/x86/assumptions64.lisp
M books/kestrel/x86/read-and-write2.lisp
M books/kestrel/x86/read-bytes-and-write-bytes.lisp
M books/kestrel/x86/read-over-write-rules64.lisp
M books/kestrel/x86/tools/lifter-support.lisp
M books/kestrel/x86/zmm.lisp
A books/kestrel/xml/build-book-for-xml-file.lisp
M books/kestrel/xml/xml-parser.lisp

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


Compare: https://github.com/acl2/acl2/compare/b81dce91ce43...4aeac394cf78