[acl2/acl2] 1ef974: Tweaked a comment
0 views
Skip to first unread message
MattKaufmann
Jul 9, 2026, 12:44:37 AM (3 days ago) Jul 9
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 1ef9743590ebe8d6641e2444050b5a335de5466e
https://github.com/acl2/acl2/commit/1ef9743590ebe8d6641e2444050b5a335de5466e
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/demos/claude/qsort-examples.lisp
Log Message:
-----------
Tweaked a comment
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 1ef9743590ebe8d6641e2444050b5a335de5466e
https://github.com/acl2/acl2/commit/1ef9743590ebe8d6641e2444050b5a335de5466e
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/demos/claude/qsort-examples.lisp
Log Message:
-----------
Tweaked a comment
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
MattKaufmann
Jul 9, 2026, 12:45:36 AM (3 days ago) Jul 9
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages