[acl2/acl2] 779e9e: Updated :DOC developers-guide-examples with exampl...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 779e9e92772bd38d5ebaa7d0d9ef4d8f8a9cebf7
https://github.com/acl2/acl2/commit/779e9e92772bd38d5ebaa7d0d9ef4d8f8a9cebf7
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2026-05-06 (Wed, 06 May 2026)

Changed paths:
M books/system/doc/developers-guide.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html

Log Message:
-----------
Updated :DOC developers-guide-examples with example of stobj hash-table keys. Added mention of a private maintenance repo in :DOC developers-guide-releases. Synched doc.lisp etc.



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

[acl2buildserver]

Branch: refs/heads/testing