[acl2/acl2] 536641: Improved the copy-def utility.

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 5366414949afa0ebebdd5132ad7860ed3118438a
https://github.com/acl2/acl2/commit/5366414949afa0ebebdd5132ad7860ed3118438a
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-01-10 (Wed, 10 Jan 2018)

Changed paths:
M books/doc/relnotes.lisp
M books/kestrel/utilities/copy-def.lisp

Log Message:
-----------
Improved the copy-def utility.

Quoting :doc note-8-1-books:

Improved the copy-def utility (community book
kestrel/utilities/copy-def.lisp) by adding an :expand hint in the
recursive case, as is sometimes necessary.


Commit: ccc3b21f31eda520b4776c82fa5fb0d2e5543359
https://github.com/acl2/acl2/commit/ccc3b21f31eda520b4776c82fa5fb0d2e5543359
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-01-11 (Thu, 11 Jan 2018)

Changed paths:
M books/projects/x86isa/machine/x86.lisp

Log Message:
-----------
Merge remote-tracking branch 'remotes/origin/master'


Compare: https://github.com/acl2/acl2/compare/9ea50ee31252...ccc3b21f31ed

[GitHub]

Branch: refs/heads/testing