[acl2/acl2] 56d9b4: Added improved versions (manage-screen-output, man...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 56d9b4b417a14b5a5edb6227cb77a2286cb84094
https://github.com/acl2/acl2/commit/56d9b4b417a14b5a5edb6227cb77a2286cb84094
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-06-24 (Sat, 24 Jun 2017)

Changed paths:
M books/kestrel/utilities/user-interface.lisp

Log Message:
-----------
Added improved versions (manage-screen-output, manage-screen-output!) of control-screen output (which may eventually be removed).

[GitHub]

Branch: refs/heads/testing

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

Date: 2017-06-24 (Sat, 24 Jun 2017)

Changed paths:
M books/kestrel/utilities/user-interface.lisp

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

Merge commit '56d9b4b417a14b5a5edb6227cb77a2286cb84094' into HEAD


Compare: https://github.com/acl2/acl2/compare/62189c4f2b4f...8a0b13d390e7