[acl2/acl2] 41d19a: Merge.

0 views

Skip to first unread message

unread,

Sep 23, 2025, 4:35:35 PM (3 days ago) Sep 23

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 41d19a76b750623bffa8f86e368c92e98ac56275
https://github.com/acl2/acl2/commit/41d19a76b750623bffa8f86e368c92e98ac56275
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/preprocess-file.lisp
A books/kestrel/fty/string-stringlist-map.lisp
M books/kestrel/fty/top.lisp

Log Message:
-----------
Merge.

Commit: 5f09671b126ea98b58f19b3f0b1c5b37fa448983
https://github.com/acl2/acl2/commit/5f09671b126ea98b58f19b3f0b1c5b37fa448983
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:

Log Message:
-----------
Merge commit '41d19a76b750623bffa8f86e368c92e98ac56275' into HEAD

Compare: https://github.com/acl2/acl2/compare/6ec7a60c3c8c...5f09671b126e

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

unread,

Sep 23, 2025, 4:36:37 PM (3 days ago) Sep 23

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages