[acl2/acl2] 1a5a8d: [X86ISA] Drop unnecessary newlines.

[Eric W. Smith]

Branch: refs/heads/x86isa-includes
Home: https://github.com/acl2/acl2
Commit: 1a5a8dcc90aa5ed20f2fcec0bf035ed5bee36dfe
https://github.com/acl2/acl2/commit/1a5a8dcc90aa5ed20f2fcec0bf035ed5bee36dfe
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
M books/projects/x86isa/machine/instructions/top.lisp
M books/projects/x86isa/machine/three-byte-opcodes-dispatch.lisp
M books/projects/x86isa/machine/two-byte-opcodes-dispatch.lisp
M books/projects/x86isa/machine/x86.lisp
M books/projects/x86isa/tools/execution/init-page-tables.lisp
M books/projects/x86isa/tools/execution/instrument/top.lisp

Log Message:
-----------
[X86ISA] Drop unnecessary newlines.

The :ttags arguments to these include-books are now short enough to fit on the same line.


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

Changed paths:
M books/projects/x86isa/machine/three-byte-opcodes-dispatch.lisp
M books/projects/x86isa/machine/two-byte-opcodes-dispatch.lisp

Log Message:
-----------
[X86ISA] Slightly reduce includes.


Compare: https://github.com/acl2/acl2/compare/1a5a8dcc90aa%5E...db0396c96919

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