[acl2/acl2] 0e5c09: Fix some typos

0 views
Skip to first unread message

GitHub

unread,
Nov 16, 2016, 9:53:03 PM11/16/16
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 0e5c09664632acf9b36974424595bcd343a759c7
https://github.com/acl2/acl2/commit/0e5c09664632acf9b36974424595bcd343a759c7
Author: Keshav Kini <kesha...@oracle.com>
Date: 2016-11-16 (Wed, 16 Nov 2016)

Changed paths:
M books/doc/relnotes.lisp
M books/tools/removable-runes.lisp

Log Message:
-----------
Fix some typos


Commit: 25febfcb7ce4edc1a435d4197fdc205d864f0f54
https://github.com/acl2/acl2/commit/25febfcb7ce4edc1a435d4197fdc205d864f0f54
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2016-11-16 (Wed, 16 Nov 2016)

Changed paths:
M books/doc/relnotes.lisp
M books/tools/removable-runes.lisp

Log Message:
-----------
Merge pull request #672 from kini/typos

Fix some typos


Compare: https://github.com/acl2/acl2/compare/fcefd87949a5...25febfcb7ce4

GitHub

unread,
Nov 16, 2016, 10:22:14 PM11/16/16
to acl2-...@googlegroups.com
Branch: refs/heads/master
Reply all
Reply to author
Forward
0 new messages