On 4/1/06, <b class="gmail_sendername">Talin</b> &lt;<a href="mailto:talin@acm.org">talin@acm.org</a>&gt; wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
This is about the print / writeln debate.<br></blockquote></div><br>A somewhat tangental point, but I hope it's been decided that any function would be named writeline rather than writeln.&nbsp; I know writeln is a common function name, but abbreviations irritate me.&nbsp; Also, it might be possible that someone would read it as writeIn (capital &quot;eye&quot;), though that's probably silly.
<br>