[acl2/acl2] 6c9ad7: [X86ISA] Rename doc topic.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 6c9ad77fcc9dc3b766edb004b0839feaaa283877
https://github.com/acl2/acl2/commit/6c9ad77fcc9dc3b766edb004b0839feaaa283877
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp

Log Message:
-----------
[X86ISA] Rename doc topic.


Commit: 916bf4e78fab6d3847fbfc3e8c37fe4769669e2e
https://github.com/acl2/acl2/commit/916bf4e78fab6d3847fbfc3e8c37fe4769669e2e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[X86ISA] Update refs in release notes.


Commit: f4b32336191054e35a80671d4b2d649a39b2d1d4
https://github.com/acl2/acl2/commit/f4b32336191054e35a80671d4b2d649a39b2d1d4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp

Log Message:
-----------
[X86ISA] Adjust instruction set summary parent.


Commit: 05b8a0b8ef7526f6d5505fba0a33a70abb581e50
https://github.com/acl2/acl2/commit/05b8a0b8ef7526f6d5505fba0a33a70abb581e50
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp

Log Message:
-----------
[X86ISA] Rename a doc topic.


Commit: e9b558bfa16eb2a475e49b10ad83c3b140c209c1
https://github.com/acl2/acl2/commit/e9b558bfa16eb2a475e49b10ad83c3b140c209c1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/doc.lisp
M books/projects/x86isa/machine/inst-doc.lisp

Log Message:
-----------
[X86ISA] Make new isntruction listings more prominent.


Commit: f61ca94a54d34759e6ead4ba73bb5832a8b6ac4c
https://github.com/acl2/acl2/commit/f61ca94a54d34759e6ead4ba73bb5832a8b6ac4c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[X86ISA] Update links in book release notes.


Commit: ed614520a7693d8ddd9346b4e2e765185f6656d0
https://github.com/acl2/acl2/commit/ed614520a7693d8ddd9346b4e2e765185f6656d0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/inst-doc.lisp

Log Message:
-----------
[X86ISA] Fix XML.


Compare: https://github.com/acl2/acl2/compare/bcd777d9a105...ed614520a769

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

[Alessandro Coglio]

Branch: refs/heads/testing