[acl2/acl2] b139db: [xdoc] Start adding my release notes.

[Eric W. Smith]

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

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[xdoc] Start adding my release notes.


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

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[xdoc] Alphabetize items.


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

Changed paths:
M books/doc/practices.lisp
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Merge.


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

Changed paths:
A books/kestrel/axe/arm/doc.acl2
A books/kestrel/axe/arm/doc.lisp
M books/kestrel/axe/doc.lisp

Log Message:
-----------
[axe/arm] Start documenting the ARM version of Axe.


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

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[xdoc] Continue adding my release notes.


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

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[xdoc] Add more release notes on Documentation.

Also reorder the items.


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

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[xdoc] Tweak.


Compare: https://github.com/acl2/acl2/compare/6574c9184466...0503f60d27ee

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

[acl2buildserver]

Branch: refs/heads/master

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

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

Changed paths:
M books/doc/relnotes.lisp

A books/kestrel/axe/arm/doc.acl2
A books/kestrel/axe/arm/doc.lisp
M books/kestrel/axe/doc.lisp

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

Merge commit '0503f60d27ee577256dc98fd86db3c0b3f70efe8' into HEAD


Compare: https://github.com/acl2/acl2/compare/606e8538d902...5a807f36836c

[acl2buildserver]

Branch: refs/heads/testing