next | previous | forward | backward | up | top | index | toc | home

openIn(String) -- open an input file

Synopsis

Description

openIn "fff" opens an input file whose filename is fff.

Other options are available. For details, see openInOut.