[acl2/acl2] bf8698: [doc] Update workshop date.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: bf8698aa249284085ab208e54b3bf8bf9daa23ad
https://github.com/acl2/acl2/commit/bf8698aa249284085ab208e54b3bf8bf9daa23ad
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-10 (Fri, 10 Jul 2026)

Changed paths:
M books/doc/more-topics.lisp

Log Message:
-----------
[doc] Update workshop date.



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

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing