[acl2/acl2] 292d86: Sync doc.lisp

0 views

Skip to first unread message

unread,

Apr 24, 2017, 1:23:18 AM4/24/17

to acl2-...@googlegroups.com

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

Changed paths:
M doc.lisp

Log Message:
-----------
Sync doc.lisp

unread,

Apr 24, 2017, 1:27:56 AM4/24/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages