[acl2/acl2] 4fa527: [ATC] Fix doc typo.

0 views

Skip to first unread message

unread,

Dec 17, 2025, 5:02:11 PM (3 days ago) Dec 17

to acl2-...@googlegroups.com

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 4fa527c1c538abf7b306fabf402cd516bcd556fc
https://github.com/acl2/acl2/commit/4fa527c1c538abf7b306fabf402cd516bcd556fc
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-17 (Wed, 17 Dec 2025)

Changed paths:
M books/kestrel/c/atc/expression-generation.lisp

Log Message:
-----------
[ATC] Fix doc typo.

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

unread,

Dec 17, 2025, 5:58:37 PM (3 days ago) Dec 17

to acl2-...@googlegroups.com

Branch: refs/heads/master

unread,

Dec 17, 2025, 5:59:38 PM (3 days ago) Dec 17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages