[acl2/acl2] 990521: Fixed check-acl2-exports by excluding near-misses ...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 990521ce7d3eb8ed6dd73d261c856eae72870ad3
https://github.com/acl2/acl2/commit/990521ce7d3eb8ed6dd73d261c856eae72870ad3
Author: Matt Kaufmann <kauf...@Matts-MBP.attlocal.net>
Date: 2016-08-23 (Tue, 23 Aug 2016)

Changed paths:
M books/misc/check-acl2-exports.lisp
M doc.lisp

Log Message:
-----------
Fixed check-acl2-exports by excluding near-misses from the check; synched doc.lisp.

[GitHub]

Branch: refs/heads/testing