[acl2/acl2] 10d515: [remora] import some symbols from acl2 and str pac...

[Eric McCarthy]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 10d515b829fe25d3b6eff88ef91bbb106c737ee0
https://github.com/acl2/acl2/commit/10d515b829fe25d3b6eff88ef91bbb106c737ee0
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-02 (Sat, 02 May 2026)

Changed paths:
M books/kestrel/remora/package.lsp

Log Message:
-----------
[remora] import some symbols from acl2 and str packages


Commit: 0c2a9ec7bef63fb107a5ba9584c71e32e3ddd7aa
https://github.com/acl2/acl2/commit/0c2a9ec7bef63fb107a5ba9584c71e32e3ddd7aa
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-05-02 (Sat, 02 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-constructors.lisp
A books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/parse-directory-files.lisp
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/post-parsing.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[remora] move identifier-syntax-related code into new file identifier-syntax.lisp. Also get rid of some no-longer-needd package prefixes, and comment out the xdoc for the shape macro since there is a name collision (which will be fixed soon)


Compare: https://github.com/acl2/acl2/compare/3863ec070c6c...0c2a9ec7bef6

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

[acl2buildserver]

Branch: refs/heads/master

Commit: c8b229579e0a23febb81a3d178934b38cc3b62df
https://github.com/acl2/acl2/commit/c8b229579e0a23febb81a3d178934b38cc3b62df
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-05-02 (Sat, 02 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-constructors.lisp
A books/kestrel/remora/identifier-syntax.lisp

M books/kestrel/remora/package.lsp

M books/kestrel/remora/parse-directory-files.lisp
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/post-parsing.lisp
M books/kestrel/remora/syntax-abstraction.lisp

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

Merge commit '0c2a9ec7bef63fb107a5ba9584c71e32e3ddd7aa' into HEAD


Compare: https://github.com/acl2/acl2/compare/4ea27c7e4c39...c8b229579e0a

[acl2buildserver]

Branch: refs/heads/testing