[acl2/acl2] 4e3269: Fixed theory bug in with-supporters.

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 4e3269495b949e92a750cba00f4cbb2d7a7b7126
https://github.com/acl2/acl2/commit/4e3269495b949e92a750cba00f4cbb2d7a7b7126
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-07-26 (Sun, 26 Jul 2026)

Changed paths:
M books/doc/relnotes.lisp
M books/tools/with-supporters.lisp

Log Message:
-----------
Fixed theory bug in with-supporters.

Quoting :DOC note-8-8-books:

Fixed a bug in [with-supporters] that was preventing [disable]s for
names of theorems (as opposed to functions.

Thanks to Eric Smith for pointing out this bug with an example.


Commit: 50b7500ce63150e1ca71c2f59d1867b36fe5922a
https://github.com/acl2/acl2/commit/50b7500ce63150e1ca71c2f59d1867b36fe5922a
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-07-26 (Sun, 26 Jul 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
Add missing right parenthesis in recently-updated :DOC note-8-8-books.


Compare: https://github.com/acl2/acl2/compare/d3d18802f2c5...50b7500ce631

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

[acl2buildserver]

Branch: refs/heads/testing