[acl2/acl2] 92da2a: Fixed Github Issue #674: Nonstd build failing in p...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 92da2a9dcca00b7f8d6577b94ff4bb262cff37cf
https://github.com/acl2/acl2/commit/92da2a9dcca00b7f8d6577b94ff4bb262cff37cf
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-11-30 (Wed, 30 Nov 2016)

Changed paths:
M books/projects/sat/proof-checker-array/farray.lisp

Log Message:
-----------
Fixed Github Issue #674: Nonstd build failing in projects/sat/proof-checker-array


Commit: 8656f238c04bb220cb7af86faac40b7b9b7b7d0b
https://github.com/acl2/acl2/commit/8656f238c04bb220cb7af86faac40b7b9b7b7d0b
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-11-30 (Wed, 30 Nov 2016)

Changed paths:
M books/centaur/sv/cosims/run.lsp
M books/misc/expander.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M proof-builder-b.lisp

Log Message:
-----------
Merge remote-tracking branch 'remotes/origin/master'


Compare: https://github.com/acl2/acl2/compare/6df548e3b25e...8656f238c04b

[GitHub]

Branch: refs/heads/testing

Commit: 0c45828592f6a1c96685f0f3e19013b6e29a9048
https://github.com/acl2/acl2/commit/0c45828592f6a1c96685f0f3e19013b6e29a9048
Author: David L. Rager <rag...@gmail.com>

Date: 2016-11-30 (Wed, 30 Nov 2016)

Changed paths:
M books/projects/sat/proof-checker-array/farray.lisp

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

Merge commit '8656f238c04bb220cb7af86faac40b7b9b7b7d0b' into HEAD


Compare: https://github.com/acl2/acl2/compare/5ac65ea25b85...0c45828592f6