[acl2/acl2] b16e9d: [ATC] Fix XDOC link.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: b16e9d4582284471bdb1101eeb3bc439b31d2d80
https://github.com/acl2/acl2/commit/b16e9d4582284471bdb1101eeb3bc439b31d2d80
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-01-13 (Tue, 13 Jan 2026)

Changed paths:
M books/kestrel/c/atc/limits.lisp

Log Message:
-----------
[ATC] Fix XDOC link.



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