[acl2/acl2] 05c377: [doc] Add link.

0 views
Skip to first unread message

Eric W. Smith

unread,
May 6, 2026, 1:35:03 PM (2 days ago) May 6
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 05c377b06c348d97648fdf498bce2ac0ba9bcba5
https://github.com/acl2/acl2/commit/05c377b06c348d97648fdf498bce2ac0ba9bcba5
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-06 (Wed, 06 May 2026)

Changed paths:
M books/doc/practices.lisp

Log Message:
-----------
[doc] Add link.



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

acl2buildserver

unread,
May 6, 2026, 2:25:34 PM (2 days ago) May 6
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 05c377b06c348d97648fdf498bce2ac0ba9bcba5
https://github.com/acl2/acl2/commit/05c377b06c348d97648fdf498bce2ac0ba9bcba5
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-06 (Wed, 06 May 2026)

Changed paths:
M books/doc/practices.lisp

Log Message:
-----------
[doc] Add link.


Commit: f67deb2d663edce0eb8f2efb4b76755f5e1f3af9
https://github.com/acl2/acl2/commit/f67deb2d663edce0eb8f2efb4b76755f5e1f3af9
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-05-06 (Wed, 06 May 2026)

Changed paths:
M books/doc/practices.lisp

Log Message:
-----------
Merge commit '05c377b06c348d97648fdf498bce2ac0ba9bcba5' into HEAD


Compare: https://github.com/acl2/acl2/compare/779e9e92772b...f67deb2d663e

acl2buildserver

unread,
May 6, 2026, 2:26:35 PM (2 days ago) May 6
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages