<div dir="ltr">The second mention (
<span style="color:rgb(32,33,34);font-family:sans-serif;font-size:14px">and name "reader"</span> ...
<span style="color:rgb(32,33,34);font-family:sans-serif;font-size:14px">Read(reader, ch) </span> ) does not match with the program where the record is called R.<div><pre style="font-family:monospace,monospace;padding:1em;overflow-x:hidden;line-height:1.3;font-size:14px">Texts.Read(R, ch);</pre></div><div>Prof Pablo Cayuela</div><div>Argentina</div><div><br><div><br></div></div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Wed, 5 Mar 2025 at 14:24, <<a href="mailto:peter@easthope.ca">peter@easthope.ca</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
Yesterday I read <br>
<a href="https://en.wikibooks.org/wiki/Oberon/Text#Programmatical_Access_to_a_Text" rel="noreferrer" target="_blank">https://en.wikibooks.org/wiki/Oberon/Text#Programmatical_Access_to_a_Text</a><br>
again and noticed some poor word usage and poor sentence structure. <br>
If anyone has time to read and comment, that may help. It's a short <br>
section.<br>
<br>
Where words Reader and reader first appear, I put them in quotation<br>
marks. Will that help a novice? Better without the quotation marks? <br>
Bold face would be better? To avoid difficulty for a color blind <br>
reader and confusion with a hyperlink, I'm reluctant to apply color on <br>
a name.<br>
<br>
Thx, ... P.<br>
<br>
-- <br>
VoIP: +1 604 670 0140<br>
work: <a href="https://en.wikibooks.org/wiki/User:PeterEasthope" rel="noreferrer" target="_blank">https://en.wikibooks.org/wiki/User:PeterEasthope</a><br>
<br>
--<br>
<a href="mailto:Oberon@lists.inf.ethz.ch" target="_blank">Oberon@lists.inf.ethz.ch</a> mailing list for ETH Oberon and related systems<br>
<a href="https://lists.inf.ethz.ch/mailman/listinfo/oberon" rel="noreferrer" target="_blank">https://lists.inf.ethz.ch/mailman/listinfo/oberon</a><br>
</blockquote></div>