[acl2/acl2] 296aa9: Added two symbols missing from *acl2-exports*. (N...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 296aa97cfb30c611789f33b5b9e71dcf4d4f97e7
https://github.com/acl2/acl2/commit/296aa97cfb30c611789f33b5b9e71dcf4d4f97e7
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-04-23 (Sun, 23 Apr 2017)

Changed paths:
M defpkgs.lisp

Log Message:
-----------
Added two symbols missing from *acl2-exports*. (No more such additions today....)

[GitHub]

Branch: refs/heads/testing

Commit: ec4a322304397cd17e9326fbc4ce0449ee70c268
https://github.com/acl2/acl2/commit/ec4a322304397cd17e9326fbc4ce0449ee70c268
Author: David L. Rager <rag...@gmail.com>

Date: 2017-04-23 (Sun, 23 Apr 2017)

Changed paths:
M defpkgs.lisp

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

Merge commit '296aa97cfb30c611789f33b5b9e71dcf4d4f97e7' into HEAD


Compare: https://github.com/acl2/acl2/compare/b3405504ee61...ec4a32230439