[acl2/acl2] 761ed1: Updated URL for book by Russinoff, as he requested
0 views
Skip to first unread message
MattKaufmann
Jan 8, 2026, 6:27:50 PM (12 days ago) Jan 8
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 761ed1a5c96dc6be103beedb499d282be5f9d9bf
https://github.com/acl2/acl2/commit/761ed1a5c96dc6be103beedb499d282be5f9d9bf
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-01-08 (Thu, 08 Jan 2026)
Changed paths:
M books/doc/publications.lisp
Log Message:
-----------
Updated URL for book by Russinoff, as he requested
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 761ed1a5c96dc6be103beedb499d282be5f9d9bf
https://github.com/acl2/acl2/commit/761ed1a5c96dc6be103beedb499d282be5f9d9bf
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-01-08 (Thu, 08 Jan 2026)
Changed paths:
M books/doc/publications.lisp
Log Message:
-----------
Updated URL for book by Russinoff, as he requested
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
MattKaufmann
Jan 8, 2026, 6:28:34 PM (12 days ago) Jan 8
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages