[acl2/acl2] 05f018: Exclude ACL2(r) from the new claude books.

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 05f018eefdfcf055972aa1b4bf8eef8610293f48
https://github.com/acl2/acl2/commit/05f018eefdfcf055972aa1b4bf8eef8610293f48
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-06-30 (Tue, 30 Jun 2026)

Changed paths:
M books/demos/claude/qsort.lisp

Log Message:
-----------
Exclude ACL2(r) from the new claude books.



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

[MattKaufmann]

Branch: refs/heads/testing