[acl2/acl2] af5bf0: Incorporated :doc mod that I had made but forgotte...

0 views

Skip to first unread message

unread,

Jul 27, 2016, 7:26:57 AM7/27/16

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: af5bf03a102b73221bd17847296c33ae69758cec
https://github.com/acl2/acl2/commit/af5bf03a102b73221bd17847296c33ae69758cec
Author: Matt Kaufmann <kauf...@Matts-MBP.attlocal.net>
Date: 2016-07-27 (Wed, 27 Jul 2016)

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

Log Message:
-----------
Incorporated :doc mod that I had made but forgotten to include (thanks to David Rager for useful feedback).

unread,

Jul 27, 2016, 7:27:12 AM7/27/16

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages