Re: <pre>

James Whitescarver (jim@eies.njit.edu)
Thu, 6 Oct 1994 15:53:49 +0100

It is not clear to me that <pre> should ignore CR. I think this is a bug
in the our browsers. The intent of <pre> was that such things are NOT
ignored. The specs may be wrong too. :)

jim