[acl2/acl2] 3e0867: Fixed comment typo pointed out by Alessandro Cogli...

0 views
Skip to first unread message

GitHub

unread,
Jan 7, 2018, 6:12:51 PM1/7/18
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 3e08678d2b92cec1f1c20bc16ede75dd249a2561
https://github.com/acl2/acl2/commit/3e08678d2b92cec1f1c20bc16ede75dd249a2561
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-01-07 (Sun, 07 Jan 2018)

Changed paths:
M axioms.lisp

Log Message:
-----------
Fixed comment typo pointed out by Alessandro Coglio.


Reply all
Reply to author
Forward
0 new messages