[acl2/acl2] a5f37b: [FTY] Fix file headers

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: a5f37b5a35e62dcdba9dd4a349cf67c6d1ccc26d
https://github.com/acl2/acl2/commit/a5f37b5a35e62dcdba9dd4a349cf67c6d1ccc26d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/fty/bin-digit-char-list.lisp
M books/kestrel/fty/dec-digit-char-list.lisp
M books/kestrel/fty/hex-digit-char-list.lisp
M books/kestrel/fty/oct-digit-char-list.lisp
M books/kestrel/fty/string-stringlist-alist.lisp
M books/kestrel/fty/strings-decimal-fty.lisp
M books/kestrel/fty/symbol-pseudoeventform-alist.lisp
M books/kestrel/fty/symbol-pseudoterm-alist.lisp

Log Message:
-----------
[FTY] Fix file headers

Some file headers listed other libraries instead of FTY. This was likely
a copy/paste error after moving books.



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: a5f37b5a35e62dcdba9dd4a349cf67c6d1ccc26d
https://github.com/acl2/acl2/commit/a5f37b5a35e62dcdba9dd4a349cf67c6d1ccc26d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/fty/bin-digit-char-list.lisp
M books/kestrel/fty/dec-digit-char-list.lisp
M books/kestrel/fty/hex-digit-char-list.lisp
M books/kestrel/fty/oct-digit-char-list.lisp
M books/kestrel/fty/string-stringlist-alist.lisp
M books/kestrel/fty/strings-decimal-fty.lisp
M books/kestrel/fty/symbol-pseudoeventform-alist.lisp
M books/kestrel/fty/symbol-pseudoterm-alist.lisp

Log Message:
-----------
[FTY] Fix file headers

Some file headers listed other libraries instead of FTY. This was likely
a copy/paste error after moving books.

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

Date: 2025-09-23 (Tue, 23 Sep 2025)

Changed paths:
M books/kestrel/fty/bin-digit-char-list.lisp
M books/kestrel/fty/dec-digit-char-list.lisp
M books/kestrel/fty/hex-digit-char-list.lisp
M books/kestrel/fty/oct-digit-char-list.lisp
M books/kestrel/fty/string-stringlist-alist.lisp
M books/kestrel/fty/strings-decimal-fty.lisp
M books/kestrel/fty/symbol-pseudoeventform-alist.lisp
M books/kestrel/fty/symbol-pseudoterm-alist.lisp

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

Merge commit 'a5f37b5a35e62dcdba9dd4a349cf67c6d1ccc26d' into HEAD


Compare: https://github.com/acl2/acl2/compare/5f09671b126e...4c9fab6a3988

[acl2buildserver]

Branch: refs/heads/testing