[acl2/acl2] 6ec4e1: [arm] Fix xdoc parents.

1 view
Skip to first unread message

Eric W. Smith

unread,
Mar 2, 2026, 7:07:01 AM (3 days ago) Mar 2
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 6ec4e13c5538b87d6b5363cfec0927d7250d1ed6
https://github.com/acl2/acl2/commit/6ec4e13c5538b87d6b5363cfec0927d7250d1ed6
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/kestrel/arm/doc.lisp

Log Message:
-----------
[arm] Fix xdoc parents.



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

acl2buildserver

unread,
Mar 2, 2026, 7:59:45 AM (3 days ago) Mar 2
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 6ec4e13c5538b87d6b5363cfec0927d7250d1ed6
https://github.com/acl2/acl2/commit/6ec4e13c5538b87d6b5363cfec0927d7250d1ed6
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/kestrel/arm/doc.lisp

Log Message:
-----------
[arm] Fix xdoc parents.


Commit: 0a918f5e2e9c49d98df566ee87bb2ba64789768e
https://github.com/acl2/acl2/commit/0a918f5e2e9c49d98df566ee87bb2ba64789768e
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-03-02 (Mon, 02 Mar 2026)

Changed paths:
M books/kestrel/arm/doc.lisp

Log Message:
-----------
Merge commit '6ec4e13c5538b87d6b5363cfec0927d7250d1ed6' into HEAD


Compare: https://github.com/acl2/acl2/compare/83d184694c7e...0a918f5e2e9c

acl2buildserver

unread,
Mar 2, 2026, 8:00:43 AM (3 days ago) Mar 2
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages