[acl2/acl2] 34792c: Added release note for my preceding commit (which ...
0 views
Skip to first unread message
GitHub
Jun 20, 2017, 12:55:10 AM6/20/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 34792c40d7df0253c9cf0b4257ea20a24dcd62dd
https://github.com/acl2/acl2/commit/34792c40d7df0253c9cf0b4257ea20a24dcd62dd
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
Log Message:
-----------
Added release note for my preceding commit (which was inadvertently omitted), fixing a couple of typos pointed out by Eric Smith.
Home: https://github.com/acl2/acl2
Commit: 34792c40d7df0253c9cf0b4257ea20a24dcd62dd
https://github.com/acl2/acl2/commit/34792c40d7df0253c9cf0b4257ea20a24dcd62dd
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2017-06-19 (Mon, 19 Jun 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
Log Message:
-----------
Added release note for my preceding commit (which was inadvertently omitted), fixing a couple of typos pointed out by Eric Smith.
GitHub
Jun 20, 2017, 12:57:21 AM6/20/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages