[acl2/acl2] 2f68e0: Documentation tweaks

0 views

Skip to first unread message

unread,

Apr 25, 2017, 8:42:37 PM4/25/17

to acl2-...@googlegroups.com

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

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

Log Message:
-----------
Documentation tweaks

unread,

Apr 25, 2017, 8:43:15 PM4/25/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages