[acl2/acl2] 064ee9: typo

0 views

Skip to first unread message

unread,

Dec 1, 2016, 10:30:55 AM12/1/16

to acl2-...@googlegroups.com

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 064ee982598269734c16a73bf28a5b5c2ebdfb44
https://github.com/acl2/acl2/commit/064ee982598269734c16a73bf28a5b5c2ebdfb44
Author: Keshav Kini <kesha...@oracle.com>
Date: 2016-11-30 (Wed, 30 Nov 2016)

Changed paths:
M books/centaur/fty/top.lisp

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

Commit: c725336fc24490b26dc626edd8f8b7d95c00968b
https://github.com/acl2/acl2/commit/c725336fc24490b26dc626edd8f8b7d95c00968b
Author: David L. Rager <rag...@gmail.com>
Date: 2016-12-01 (Thu, 01 Dec 2016)

Changed paths:
M books/centaur/fty/top.lisp

Log Message:
-----------
Merge pull request #675 from kini/fty-typo

typo

Compare: https://github.com/acl2/acl2/compare/0c45828592f6...c725336fc244

unread,

Dec 1, 2016, 10:49:24 AM12/1/16

to acl2-...@googlegroups.com

Branch: refs/heads/master

Reply all

Reply to author

Forward

0 new messages