[acl2/acl2] 1d76a0: Fix typo in X86ISA documentation.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 1d76a0e95899c1045eefd1a28398b84c946e88aa
https://github.com/acl2/acl2/commit/1d76a0e95899c1045eefd1a28398b84c946e88aa
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-08-14 (Mon, 14 Aug 2017)

Changed paths:
M books/projects/x86isa/machine/x86.lisp

Log Message:
-----------
Fix typo in X86ISA documentation.

Also clarify the reason why the initial value passed to this function must be as
written in the documentation.


Commit: a4b49c207cd2daa875a256f7c2b62d39d2ba94a4
https://github.com/acl2/acl2/commit/a4b49c207cd2daa875a256f7c2b62d39d2ba94a4
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-08-14 (Mon, 14 Aug 2017)

Changed paths:
M books/projects/x86isa/machine/x86-programmer-level-memory.lisp

Log Message:
-----------
Fix typo in the X86ISA documentation.


Commit: 75e9e02f3ad1b0b780797da955c03d164516d57e
https://github.com/acl2/acl2/commit/75e9e02f3ad1b0b780797da955c03d164516d57e
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-08-14 (Mon, 14 Aug 2017)

Changed paths:
M books/projects/x86isa/machine/x86-programmer-level-memory.lisp

Log Message:
-----------
Clarified some X86ISA documentation.

This issue was brought up by Shilpi Goel.


Compare: https://github.com/acl2/acl2/compare/c0b4e0fbd9d2...75e9e02f3ad1

[GitHub]

Branch: refs/heads/master