Skip to content
Snippets Groups Projects
Commit 8ad9b437 authored by rtoy's avatar rtoy
Browse files

Fix a few typos.

parent a567ce23
No related branches found
No related tags found
No related merge requests found
...@@ -80,7 +80,7 @@ For files, \code{OPEN} takes the \kwd{external-format} ...@@ -80,7 +80,7 @@ For files, \code{OPEN} takes the \kwd{external-format}
parameter to specify the format. The default external format is parameter to specify the format. The default external format is
\kwd{default}. \kwd{default}.
\begin{defun}{stream}{set-system-external-format}{\var{terminal} \ampoptional \var{filenames}} \begin{defun}{stream:}{set-system-external-format}{\var{terminal} \ampoptional{} \var{filenames}}
This function changes the external format used for This function changes the external format used for
\var{*standard-input*}, \var{*standard-output*}, and \var{*standard-input*}, \var{*standard-output*}, and
\var{*standard-error*} to the external format specified by \var{*standard-error*} to the external format specified by
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment