[acl2/acl2] a9c649: Revert changes involving acl2-compiled-file.

[MattKaufmann]

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

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M interface-raw.lisp

Log Message:
-----------
Revert changes involving acl2-compiled-file.



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