[acl2/acl2] 24108a: Improved change for #\Page from preceding commit, ...

[MattKaufmann]

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

Changed paths:
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
M interface-raw.lisp

Log Message:
-----------
Improved change for #\Page from preceding commit, still invisible to most users.

Here is the updated release note item from :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. Moreover, when the host Lisp is Allegro CL,
#\Formfeed is accepted as input since that representation of
character 12 may be printed by [print-object$]. We also modified
some calls of the compiler to deal with this issue. Thanks to
Duane Rettig for bringing this issue to our attention.



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