On 17 Oct 2001, at 10:32, da Silva, Joe wrote:
...Peter Grogono (in his book 'Programming in Pascal') says words to the effect of....
Regrettably, though, books are not proof but at best only supporting evidence. Grinding through the standard is the only way to be sure.
Grogono also notes in section 7.1, "Sequential files," that:
"Some Pascal systems also insist that the standard file 'output' is mentioned in the program heading even if the program contains no call to write, so that there is a destination for error messages."
-- Dave