[acl2/acl2] b44d38: Fix typos in comments and a documentation string.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: b44d383e3637882db870603290df1e0d88a65ca2
https://github.com/acl2/acl2/commit/b44d383e3637882db870603290df1e0d88a65ca2
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-09-27 (Tue, 27 Sep 2016)

Changed paths:
M books/projects/x86isa/utils/decoding-utilities.lisp

Log Message:
-----------
Fix typos in comments and a documentation string.


Commit: 85b6051c642cee17cc1a27defead307a3a3b4204
https://github.com/acl2/acl2/commit/85b6051c642cee17cc1a27defead307a3a3b4204
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-09-27 (Tue, 27 Sep 2016)

Changed paths:
A books/centaur/sv/cosims/alwaysmulti/no_ncv
A books/centaur/sv/cosims/alwaysmulti/spec.sv
A books/centaur/sv/cosims/alwaysmulti/twovalued
M books/centaur/sv/mods/lhs.lisp
M books/centaur/sv/svex/eval.lisp
M books/centaur/sv/svex/rewrite.lisp
A books/centaur/sv/svex/select.lisp
M books/centaur/sv/vl/expr.lisp
M books/centaur/sv/vl/moddb.lisp
M books/centaur/sv/vl/svstmt-compile.lisp
M books/centaur/sv/vl/svstmt.lisp
M books/centaur/sv/vl/vl-svstmt.lisp
M books/centaur/vl/kit/lint.lisp
M books/centaur/vl/server/describe.lisp
M books/centaur/vl/transforms/unparam/top.lisp

Log Message:
-----------
Merge branch 'master'.


Compare: https://github.com/acl2/acl2/compare/047789422e33...85b6051c642c

[GitHub]

Branch: refs/heads/master