[acl2/acl2] e1863c: [unicode] remove unneeded :rewrite rule that could...
0 views
Skip to first unread message
Eric McCarthy
3:03 PM (2 hours ago) 3:03 PM
to acl2-...@googlegroups.com
Branch: refs/heads/unicode-utility-theorems
Home: https://github.com/acl2/acl2
Commit: e1863cda647a498575b1cb9f1e051903bddfd16c
https://github.com/acl2/acl2/commit/e1863cda647a498575b1cb9f1e051903bddfd16c
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-01 (Mon, 01 Jun 2026)
Changed paths:
M books/unicode/uchar.lisp
Log Message:
-----------
[unicode] remove unneeded :rewrite rule that could cause future issues.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: e1863cda647a498575b1cb9f1e051903bddfd16c
https://github.com/acl2/acl2/commit/e1863cda647a498575b1cb9f1e051903bddfd16c
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-06-01 (Mon, 01 Jun 2026)
Changed paths:
M books/unicode/uchar.lisp
Log Message:
-----------
[unicode] remove unneeded :rewrite rule that could cause future issues.
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Reply all
Reply to author
Forward
0 new messages