[acl2/acl2] a02920: [remora] update grammar Cyrillic Pe --> Greek Pi t...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: a02920a1cc1f0a5be531b0b9896629827c79e7e4
https://github.com/acl2/acl2/commit/a02920a1cc1f0a5be531b0b9896629827c79e7e4
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-04-16 (Thu, 16 Apr 2026)

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

Log Message:
-----------
[remora] update grammar Cyrillic Pe --> Greek Pi to match acceptance of remora-lang/remora PR#1



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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: a02920a1cc1f0a5be531b0b9896629827c79e7e4
https://github.com/acl2/acl2/commit/a02920a1cc1f0a5be531b0b9896629827c79e7e4
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-04-16 (Thu, 16 Apr 2026)

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

Log Message:
-----------
[remora] update grammar Cyrillic Pe --> Greek Pi to match acceptance of remora-lang/remora PR#1

Commit: 28532a00316f2af4c03b5621ccdc497631c74db8
https://github.com/acl2/acl2/commit/28532a00316f2af4c03b5621ccdc497631c74db8
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-17 (Fri, 17 Apr 2026)

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

Log Message:
-----------

Merge commit 'a02920a1cc1f0a5be531b0b9896629827c79e7e4' into HEAD


Compare: https://github.com/acl2/acl2/compare/c60de5dfe39f...28532a00316f

[acl2buildserver]

Branch: refs/heads/testing