[acl2/acl2] fe9ff1: [ACL2s] comment typo fix

0 views
Skip to first unread message

Pete Manolios

unread,
Jan 20, 2026, 1:57:38 PM (14 hours ago) Jan 20
to acl2-...@googlegroups.com
Branch: refs/heads/testing-acl2s
Home: https://github.com/acl2/acl2
Commit: fe9ff1f7aaafeb5a60e8086c203e9a219017d478
https://github.com/acl2/acl2/commit/fe9ff1f7aaafeb5a60e8086c203e9a219017d478
Author: Pete Manolios <pman...@gmail.com>
Date: 2026-01-20 (Tue, 20 Jan 2026)

Changed paths:
M books/acl2s/ccg/ccg.lisp

Log Message:
-----------
[ACL2s] comment typo fix



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

acl2buildserver

unread,
Jan 20, 2026, 3:34:03 PM (12 hours ago) Jan 20
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: fe9ff1f7aaafeb5a60e8086c203e9a219017d478
https://github.com/acl2/acl2/commit/fe9ff1f7aaafeb5a60e8086c203e9a219017d478
Author: Pete Manolios <pman...@gmail.com>
Date: 2026-01-20 (Tue, 20 Jan 2026)

Changed paths:
M books/acl2s/ccg/ccg.lisp

Log Message:
-----------
[ACL2s] comment typo fix


Commit: 4702ba03a04d7b95051a0c055f8810d7dba4404e
https://github.com/acl2/acl2/commit/4702ba03a04d7b95051a0c055f8810d7dba4404e
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-01-20 (Tue, 20 Jan 2026)

Changed paths:
M books/acl2s/ccg/ccg.lisp

Log Message:
-----------
Merge commit 'fe9ff1f7aaafeb5a60e8086c203e9a219017d478' into HEAD


Compare: https://github.com/acl2/acl2/compare/040538c28045...4702ba03a04d

acl2buildserver

unread,
Jan 20, 2026, 3:34:55 PM (12 hours ago) Jan 20
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages