[acl2/acl2] 50654d: Added :doc certify-book-debug. Fixed comment typo...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 50654d638c5b55acd3e6ef8da2bb3eef599f0513
https://github.com/acl2/acl2/commit/50654d638c5b55acd3e6ef8da2bb3eef599f0513
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-01-17 (Wed, 17 Jan 2018)

Changed paths:
M books/system/check-system-guards.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp

Log Message:
-----------
Added :doc certify-book-debug. Fixed comment typos in books/system/check-system-guards.lisp.

Thanks to Eric Smith for discussions leading to the addition of :doc
certify-book-debug.

I hope others will contribute to :doc certify-book-debug.

[GitHub]

Branch: refs/heads/testing