[acl2/acl2] 4ef063: Added a sentence in :doc rule-classes following fe...

0 views

Skip to first unread message

unread,

Apr 20, 2017, 9:35:55 AM4/20/17

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 4ef0636e355de0ac66e725ec9896f544ad25ff6a
https://github.com/acl2/acl2/commit/4ef0636e355de0ac66e725ec9896f544ad25ff6a
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:
-----------
Added a sentence in :doc rule-classes following feedback from Mihir Mehta.

unread,

Apr 20, 2017, 9:37:13 AM4/20/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages