[acl2/acl2] dd7714: Updated :doc system-utilities based on discussions...

0 views

Skip to first unread message

unread,

Apr 20, 2017, 3:05:25 PM4/20/17

to acl2-...@googlegroups.com

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

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

Log Message:
-----------
Updated :doc system-utilities based on discussions with Keshav Kini and David Rager.

unread,

Apr 20, 2017, 3:07:13 PM4/20/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages