[acl2/acl2] 37371a: [xdoc] Ensure pubs-workshops get updated when needed.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 37371ab6cd7f7bb273533d6905ae4413ce1c1dc2
https://github.com/acl2/acl2/commit/37371ab6cd7f7bb273533d6905ae4413ce1c1dc2
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/doc/publications.lisp

Log Message:
-----------
[xdoc] Ensure pubs-workshops get updated when needed.


Commit: 13f98f1bffeffa8467c0afef9577387bdf46feb7
https://github.com/acl2/acl2/commit/13f98f1bffeffa8467c0afef9577387bdf46feb7
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/workshops/references/workshops.bib

Log Message:
-----------
[workshops] Add bibtex for 2025 workshop.

This is the raw bibtex from EPTCS. Next I will edit it to match the format of previous years.


Commit: 4c8ed828e3d6cedc0df22d2dc8fdd0cb019d966b
https://github.com/acl2/acl2/commit/4c8ed828e3d6cedc0df22d2dc8fdd0cb019d966b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/workshops/references/workshops.bib

Log Message:
-----------
[workhops] Improve bibtex for 2025 workshop.


Commit: ac720462d5493b233b30547b5851615566f48a23
https://github.com/acl2/acl2/commit/ac720462d5493b233b30547b5851615566f48a23
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/doc/publications.lisp
M books/kestrel/bibtex/xdoc-generation.lisp
M books/workshops/references/workshops.bib

Log Message:
-----------
[doc] Improve doc for the Workshop publications.

Add headers to separate each group.


Commit: 7647b8d695d1cc479c1210ce7139f834824f75b0
https://github.com/acl2/acl2/commit/7647b8d695d1cc479c1210ce7139f834824f75b0
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/workshops/references/workshops.bib

Log Message:
-----------
[workshops] Improve bibtex.

Format author names like previous years.


Commit: d0337451a2fc76b39f25d1b81dced82469b4a16b
https://github.com/acl2/acl2/commit/d0337451a2fc76b39f25d1b81dced82469b4a16b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/doc/publications.lisp

Log Message:
-----------
[doc] Add xdoc parent.


Compare: https://github.com/acl2/acl2/compare/0503f60d27ee...d0337451a2fc

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

[acl2buildserver]

Branch: refs/heads/master

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

Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/doc/publications.lisp
M books/kestrel/bibtex/xdoc-generation.lisp
M books/workshops/references/workshops.bib

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

Merge commit 'd0337451a2fc76b39f25d1b81dced82469b4a16b' into HEAD


Compare: https://github.com/acl2/acl2/compare/906477f5de3c...9dbffa503d54

[acl2buildserver]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/deffold-map

Commit: 314cf49f1495a1048777c7cb531b55a7575a2edf
https://github.com/acl2/acl2/commit/314cf49f1495a1048777c7cb531b55a7575a2edf
Author: Alessandro Coglio <em...@alessandrocoglio.info>

Date: 2026-03-17 (Tue, 17 Mar 2026)

Changed paths:
M books/doc/publications.lisp
M books/kestrel/bibtex/xdoc-generation.lisp
M books/workshops/references/workshops.bib

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

Merge.


Compare: https://github.com/acl2/acl2/compare/4a7f2885a205...314cf49f1495