Revision 07fc868ecfd31fecc7c3f964730f946c31f5ab80 authored by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC, committed by Joshua J. Cogliati on 19 June 2020, 15:11:03 UTC
1 parent ecd99ed
setread
SETREAD filename
command. Makes the named file the read stream, used for READLIST,
etc. The file must already be open with OPENREAD or OPENUPDATE. If
the input is the empty list, then the read stream becomes the
keyboard, as usual. Changing the read stream does not close the
file that was previously the read stream, so it is possible to
alternate between files.
Computing file changes ...