[acl2/acl2] 982c91: [atc] fix two doc typos

0 views
Skip to first unread message

Eric McCarthy

unread,
Dec 19, 2025, 4:26:10 PM (2 days ago) Dec 19
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 982c91b22ea696399155f5486f3a6e0c653a11b9
https://github.com/acl2/acl2/commit/982c91b22ea696399155f5486f3a6e0c653a11b9
Author: Eric McCarthy <bend...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)

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

Log Message:
-----------
[atc] fix two doc typos



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

acl2buildserver

unread,
Dec 19, 2025, 5:22:16 PM (2 days ago) Dec 19
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 982c91b22ea696399155f5486f3a6e0c653a11b9
https://github.com/acl2/acl2/commit/982c91b22ea696399155f5486f3a6e0c653a11b9
Author: Eric McCarthy <bend...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)

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

Log Message:
-----------
[atc] fix two doc typos


Commit: 3a5c00e84756008704036f87032e1c9e56cf257a
https://github.com/acl2/acl2/commit/3a5c00e84756008704036f87032e1c9e56cf257a
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)

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

Log Message:
-----------
Merge commit '982c91b22ea696399155f5486f3a6e0c653a11b9' into HEAD


Compare: https://github.com/acl2/acl2/compare/ec1f198d6535...3a5c00e84756

acl2buildserver

unread,
Dec 19, 2025, 5:22:33 PM (2 days ago) Dec 19
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages