[acl2/acl2] d5fee1: Added acknowledgement of the acl2-mcp interface.

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: d5fee1c40fa30899a8be880884cde1734edeabcb
https://github.com/acl2/acl2/commit/d5fee1c40fa30899a8be880884cde1734edeabcb
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/set-theory/topology/compact-is-normal.lisp

Log Message:
-----------
Added acknowledgement of the acl2-mcp interface.



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

[acl2buildserver]

Branch: refs/heads/testing