[acl2/acl2] 1cd973: [Bitcoin] Fix comment typos.
0 views
Skip to first unread message
Eric W. Smith
Dec 19, 2025, 4:37:44 PM (2 days ago) Dec 19
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 1cd973dc3ec467d3082d3c181c41786788092944
https://github.com/acl2/acl2/commit/1cd973dc3ec467d3082d3c181c41786788092944
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)
Changed paths:
M books/kestrel/bitcoin/bip39.lisp
Log Message:
-----------
[Bitcoin] Fix comment typos.
Commit: af12e6b8f39fa56d9362a092e30d5782f708026e
https://github.com/acl2/acl2/commit/af12e6b8f39fa56d9362a092e30d5782f708026e
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)
Changed paths:
M books/kestrel/c/atc/tutorial.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/982c91b22ea6...af12e6b8f39f
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 1cd973dc3ec467d3082d3c181c41786788092944
https://github.com/acl2/acl2/commit/1cd973dc3ec467d3082d3c181c41786788092944
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)
Changed paths:
M books/kestrel/bitcoin/bip39.lisp
Log Message:
-----------
[Bitcoin] Fix comment typos.
Commit: af12e6b8f39fa56d9362a092e30d5782f708026e
https://github.com/acl2/acl2/commit/af12e6b8f39fa56d9362a092e30d5782f708026e
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)
Changed paths:
M books/kestrel/c/atc/tutorial.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/982c91b22ea6...af12e6b8f39f
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
acl2buildserver
Dec 19, 2025, 6:10:23 PM (2 days ago) Dec 19
to acl2-...@googlegroups.com
Branch: refs/heads/master
https://github.com/acl2/acl2/commit/0182a912e6a2bfa847b5fb094c26d2b72b6bba88
Author: ACL2 Build Server <acl2bui...@gmail.com>
Compare: https://github.com/acl2/acl2/compare/3a5c00e84756...0182a912e6a2
Home: https://github.com/acl2/acl2
Commit: 1cd973dc3ec467d3082d3c181c41786788092944
https://github.com/acl2/acl2/commit/1cd973dc3ec467d3082d3c181c41786788092944
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)
Changed paths:
M books/kestrel/bitcoin/bip39.lisp
Log Message:
-----------
[Bitcoin] Fix comment typos.
Commit: af12e6b8f39fa56d9362a092e30d5782f708026e
https://github.com/acl2/acl2/commit/af12e6b8f39fa56d9362a092e30d5782f708026e
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)
Changed paths:
M books/kestrel/c/atc/tutorial.lisp
Log Message:
-----------
Merge.
Commit: 0182a912e6a2bfa847b5fb094c26d2b72b6bba88
Commit: 1cd973dc3ec467d3082d3c181c41786788092944
https://github.com/acl2/acl2/commit/1cd973dc3ec467d3082d3c181c41786788092944
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)
Changed paths:
M books/kestrel/bitcoin/bip39.lisp
Log Message:
-----------
[Bitcoin] Fix comment typos.
Commit: af12e6b8f39fa56d9362a092e30d5782f708026e
https://github.com/acl2/acl2/commit/af12e6b8f39fa56d9362a092e30d5782f708026e
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)
Changed paths:
M books/kestrel/c/atc/tutorial.lisp
Log Message:
-----------
Merge.
https://github.com/acl2/acl2/commit/0182a912e6a2bfa847b5fb094c26d2b72b6bba88
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2025-12-19 (Fri, 19 Dec 2025)
Changed paths:
M books/kestrel/bitcoin/bip39.lisp
Log Message:
-----------
Merge commit 'af12e6b8f39fa56d9362a092e30d5782f708026e' into HEAD
Changed paths:
M books/kestrel/bitcoin/bip39.lisp
Log Message:
-----------
Compare: https://github.com/acl2/acl2/compare/3a5c00e84756...0182a912e6a2
acl2buildserver
Dec 19, 2025, 6:10:36 PM (2 days ago) Dec 19
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages