[acl2/acl2] f01890: Fix typos in documentation.

0 views

Skip to first unread message

unread,

Nov 18, 2016, 10:07:29 PM11/18/16

to acl2-...@googlegroups.com

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: f01890d2c5b2b937bdc24d7d05f1b5247264769c
https://github.com/acl2/acl2/commit/f01890d2c5b2b937bdc24d7d05f1b5247264769c
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-11-18 (Fri, 18 Nov 2016)

Changed paths:
M books/centaur/gl/tutorial.lisp

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

unread,

Nov 18, 2016, 10:57:13 PM11/18/16

to acl2-...@googlegroups.com

Branch: refs/heads/master

Reply all

Reply to author

Forward

0 new messages