[acl2/acl2] bfe104: Take account of AC comments

[Stephen Westfold]

Branch: refs/heads/fresh-names-valid
Home: https://github.com/acl2/acl2
Commit: bfe1040fceb9d141c5ccddc199c9c58d0a962ffb
https://github.com/acl2/acl2/commit/bfe1040fceb9d141c5ccddc199c9c58d0a962ffb
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-08-15 (Sat, 15 Aug 2026)

Changed paths:
M books/kestrel/remora/fresh-variable-operations.lisp
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/monomorphize.lisp
A books/kestrel/remora/unicode.lisp
M books/kestrel/remora/unique-names-validation.lisp
M books/kestrel/utilities/strings/strings-codes.lisp

Log Message:
-----------
Take account of AC comments



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