[acl2/acl2] ec2595: Improved :doc make-event to better reflect legalit...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: ec2595445dc991db91375a01792a5107a7111f4e
https://github.com/acl2/acl2/commit/ec2595445dc991db91375a01792a5107a7111f4e
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-06-24 (Sat, 24 Jun 2017)

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

Log Message:
-----------
Improved :doc make-event to better reflect legality of its use during make-event expansion. [Suggestions welcome on how concisely to avoid the split infinitive in the preceding sentence!]

[GitHub]

Branch: refs/heads/testing

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

Date: 2017-06-24 (Sat, 24 Jun 2017)

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

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

Merge commit 'ec2595445dc991db91375a01792a5107a7111f4e' into HEAD


Compare: https://github.com/acl2/acl2/compare/dade9fa2d62a...62189c4f2b4f