and output to files 
	(using the &#60; and &#62;) keys.
	One annoying consequence of this on Silicon Graphics and Hewlett Packard's machines
	is that the text output arrives in "bursts" (caused by buffering the output).
	This release of HOLE gets around this problem by flushing the output periodically.
	Unfortunately there is no machine independent way of doing this so some
	work may be needed to get this to work for non-supported machines.	
	<dt><img alt="*" src="ballbrwn.gif"> <b>Reduced text output optio