[acl2/acl2] 9fd1f7: Tweaked :doc acl2-doc thanks to (further) input fr...

1 view

Skip to first unread message

unread,

Jan 12, 2017, 10:45:16 PM1/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 9fd1f76c15f5303b6e83693d2ee5692d64179286
https://github.com/acl2/acl2/commit/9fd1f76c15f5303b6e83693d2ee5692d64179286
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-01-12 (Thu, 12 Jan 2017)

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

Log Message:
-----------
Tweaked :doc acl2-doc thanks to (further) input from Eric Smith.

unread,

Jan 12, 2017, 10:48:03 PM1/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages