[acl2/acl2] fef455: Made a change for #\Page that should be invisible ...

[MattKaufmann]

Branch: refs/heads/page-char-in-allegro
Home: https://github.com/acl2/acl2
Commit: fef45560153ca7b1bcc192b95a5475b93eed8e05
https://github.com/acl2/acl2/commit/fef45560153ca7b1bcc192b95a5475b93eed8e05
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-08-13 (Thu, 13 Aug 2026)

Changed paths:
M acl2-check.lisp
M acl2-fns.lisp
M acl2.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html

Log Message:
-----------
Made a change for #\Page that should be invisible to most users but should allow future versions of host Lisps, in particular Allegro CL, to continue to support the use of #\Page in the ACL2 loop.

Quoting :DOC note-8-8:

Future Common Lisp implementations might not recognize #\Page as the
traditional ``Page'' character (with character-code 12), for
compatibility with Unicode. We made updates to accommodate such a
change that is probably coming to Allegro CL, so that #\Page
continues to be suitable input for character 12 inside the ACL2
read-eval-print loop. Thanks to Duane Rettig for bringing this
issue to our attention for Allegro CL.



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