output: control where CWB output is written
sends output to the given file in future
sends output to stdout (e.g. the terminal) in future
The CWB keeps a stack of output (and input) files; the two forms of the
output command push a new file onto the stack and pop the stack,
respectively. So nested output commands will do what you probably expect.
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999