[acl2/acl2] dcc78e: [remora] add compatibility note about \&

0 views
Skip to first unread message

Eric McCarthy

unread,
May 7, 2026, 2:58:10 AM (21 hours ago) May 7
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: dcc78ee08319a6cd85cd9f44abcf755e0cce622e
https://github.com/acl2/acl2/commit/dcc78ee08319a6cd85cd9f44abcf755e0cce622e
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-06 (Wed, 06 May 2026)

Changed paths:
M books/kestrel/remora/grammar.abnf

Log Message:
-----------
[remora] add compatibility note about \&



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

Eric McCarthy

unread,
May 7, 2026, 5:18:23 AM (19 hours ago) May 7
to acl2-...@googlegroups.com
Branch: refs/heads/master

Eric McCarthy

unread,
May 7, 2026, 5:24:34 AM (19 hours ago) May 7
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages