[acl2/acl2] 7514e9: Synched doc.lisp

0 views

Skip to first unread message

unread,

Jan 5, 2017, 1:15:58 PM1/5/17

to acl2-...@googlegroups.com

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

Changed paths:
M books/misc/check-acl2-exports.lisp
M doc.lisp

Log Message:
-----------
Synched doc.lisp

unread,

Jan 5, 2017, 1:17:53 PM1/5/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages