[acl2/acl2] d16ef8: Fix XDOC errors

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: d16ef847f6faa9d1e0e5d71b639d047b685bfbc8
https://github.com/acl2/acl2/commit/d16ef847f6faa9d1e0e5d71b639d047b685bfbc8
Author: Keshav Kini <kesha...@gmail.com>
Date: 2017-06-20 (Tue, 20 Jun 2017)

Changed paths:
M books/std/io/open-channels.lisp

Log Message:
-----------
Fix XDOC errors

`open-input-channel-p1` and `open-output-channel-p1` have no doc
topics about them, so I changed the @(tsee)s to @({})s.


Commit: 6a4876318a6491a47c55b10e3355daea64664d72
https://github.com/acl2/acl2/commit/6a4876318a6491a47c55b10e3355daea64664d72
Author: David L. Rager <rag...@gmail.com>
Date: 2017-06-20 (Tue, 20 Jun 2017)

Changed paths:
M books/std/io/open-channels.lisp

Log Message:
-----------
Merge pull request #743 from kini/io-lemmas

Fix XDOC errors


Compare: https://github.com/acl2/acl2/compare/6e75a380edcc...6a4876318a64