[acl2/acl2] 856a79: Added a new utility, skip-in-book.

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 856a79788603d03e4f428bd17f358f85cce206cf
https://github.com/acl2/acl2/commit/856a79788603d03e4f428bd17f358f85cce206cf
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-04-20 (Fri, 20 Apr 2018)

Changed paths:
M books/doc/relnotes.lisp
A books/kestrel/utilities/skip-in-book.lisp
M books/kestrel/utilities/top.lisp

Log Message:
-----------
Added a new utility, skip-in-book.

Quoting :doc note-8-1-books:

Added a new utility, skip-in-book, that wraps around a form to
prevent its evaluation during book certification or inclusion.

Thanks to Eric Smith for the idea of this utility.

[GitHub]

Branch: refs/heads/testing