[acl2/acl2] 2e511a: Updating documentation for defrstobj

unread,

Oct 11, 2017, 1:00:25 PM10/11/17

to acl2-...@googlegroups.com

Branch: refs/heads/ragerdl-defrstobj-doc-patch
Home: https://github.com/acl2/acl2
Commit: 2e511a4409b82ba4bf8e47fb0dfecf2d280e7793
https://github.com/acl2/acl2/commit/2e511a4409b82ba4bf8e47fb0dfecf2d280e7793
Author: David L. Rager <rag...@gmail.com>
Date: 2017-10-11 (Wed, 11 Oct 2017)

Changed paths:
M books/centaur/defrstobj/defrstobj.lisp

Log Message:
-----------
Updating documentation for defrstobj

unread,

Oct 12, 2017, 5:09:24 PM10/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Home: https://github.com/acl2/acl2
Commit: 2e511a4409b82ba4bf8e47fb0dfecf2d280e7793
https://github.com/acl2/acl2/commit/2e511a4409b82ba4bf8e47fb0dfecf2d280e7793
Author: David L. Rager <rag...@gmail.com>
Date: 2017-10-11 (Wed, 11 Oct 2017)

Changed paths:
M books/centaur/defrstobj/defrstobj.lisp

Log Message:
-----------
Updating documentation for defrstobj

Author: David L. Rager <rag...@gmail.com>

Date: 2017-10-12 (Thu, 12 Oct 2017)

Changed paths:
M books/centaur/defrstobj/defrstobj.lisp

Log Message:
-----------

Merge pull request #780 from acl2/ragerdl-defrstobj-doc-patch

Updating documentation for defrstobj

Compare: https://github.com/acl2/acl2/compare/caddbc736b59...e762b0cce894

unread,

Oct 12, 2017, 5:45:57 PM10/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/master

Reply all

Reply to author

Forward