[acl2/acl2] 5bf2af: Fix references to kestrel/system.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 5bf2afd5c1baa852018754a68b2dd21ef9f81532
https://github.com/acl2/acl2/commit/5bf2afd5c1baa852018754a68b2dd21ef9f81532
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2016-07-29 (Fri, 29 Jul 2016)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Fix references to kestrel/system.

This is now kestrel/utilities.


Commit: 7bbb3a64fc16b7753114c870a01222152ba0e7e1
https://github.com/acl2/acl2/commit/7bbb3a64fc16b7753114c870a01222152ba0e7e1
Author: MattKaufmann <kauf...@cs.utexas.edu>
Date: 2016-07-29 (Fri, 29 Jul 2016)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Merge pull request #627 from acoglio/fix

Fix references to kestrel/system.


Compare: https://github.com/acl2/acl2/compare/6cbd7eb116ac...7bbb3a64fc16

[GitHub]

Branch: refs/heads/master