[acl2/acl2] b9a129: Fix a line in the documentation

0 views

Skip to first unread message

unread,

Apr 20, 2018, 11:10:50 PM4/20/18

to acl2-...@googlegroups.com

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: b9a129b78b40ba0641442eac456bb247a73f05f3
https://github.com/acl2/acl2/commit/b9a129b78b40ba0641442eac456bb247a73f05f3
Author: Mihir Mehta <mi...@cs.utexas.edu>
Date: 2018-04-20 (Fri, 20 Apr 2018)

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

Log Message:
-----------
Fix a line in the documentation

Commit: 2a9c01c84f1f5e4a1f11764497db314235cddd7c
https://github.com/acl2/acl2/commit/2a9c01c84f1f5e4a1f11764497db314235cddd7c
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2018-04-20 (Fri, 20 Apr 2018)

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

Log Message:
-----------
Merge pull request #840 from airbornemihir/testing

Fix a line in the documentation

Compare: https://github.com/acl2/acl2/compare/70100f8b19fc...2a9c01c84f1f

unread,

Apr 20, 2018, 11:37:19 PM4/20/18

to acl2-...@googlegroups.com

Branch: refs/heads/master

Reply all

Reply to author

Forward

0 new messages