[acl2/acl2] a7b649: Synched doc.lisp

0 views

Skip to first unread message

unread,

Apr 21, 2018, 8:55:36 AM4/21/18

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: a7b649dd5d61d99b7bfd5ab9f31bc078e80354df
https://github.com/acl2/acl2/commit/a7b649dd5d61d99b7bfd5ab9f31bc078e80354df
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-04-21 (Sat, 21 Apr 2018)

Changed paths:
M doc.lisp

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

unread,

Apr 21, 2018, 8:57:27 AM4/21/18

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages