[acl2/acl2] 1de85e: Fix typos in comments.

0 views

Skip to first unread message

unread,

Jun 12, 2017, 10:05:38 AM6/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 1de85e52e16ae4591bce7a3be037984a3425be86
https://github.com/acl2/acl2/commit/1de85e52e16ae4591bce7a3be037984a3425be86
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-11 (Sun, 11 Jun 2017)

Changed paths:
M books/misc/records0.lisp

Log Message:
-----------
Fix typos in comments.

Commit: a62002de29857b61319816de2e51469aa09c253f
https://github.com/acl2/acl2/commit/a62002de29857b61319816de2e51469aa09c253f
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-06-11 (Sun, 11 Jun 2017)

Changed paths:
M books/misc/records0.lisp

Log Message:
-----------
Fix outdated comment.

Commit: 2a9967401e4f5558af8a33d022c3c2ced94ddb2e
https://github.com/acl2/acl2/commit/2a9967401e4f5558af8a33d022c3c2ced94ddb2e
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2017-06-12 (Mon, 12 Jun 2017)

Changed paths:
M books/misc/records0.lisp

Log Message:
-----------
Merge pull request #738 from acoglio/fix

Fix typos in comments.

Compare: https://github.com/acl2/acl2/compare/9266b9fb86a5...2a9967401e4f

unread,

Jun 12, 2017, 10:09:25 AM6/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/master

Reply all

Reply to author

Forward

0 new messages