<div dir="ltr">I thought there was a program named deoberon.c distributed with one of the releases.<div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Mar 28, 2016 at 2:27 PM, Tomas Kral <span dir="ltr"><<a href="mailto:thomas.kral@email.cz" target="_blank">thomas.kral@email.cz</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Mon, 2016-03-28 at 11:27 +0530, Srinivas Nayak wrote:<br>
<br>
> Is there any linux application that can convert Oberon .Mod files to<br>
plain ASCII .txt files?<br>
<br>
</span>Hi,<br>
<br>
Not sure, could these tools be used?<br>
<br>
<a href="ftp://ftp.ethoberon.ethz.ch/../../Oberon/OberonV4/Tools/AsciiCoder.Tool" rel="noreferrer" target="_blank">ftp://ftp.ethoberon.ethz.ch/../../Oberon/OberonV4/Tools/AsciiCoder.Tool</a><br>
<a href="ftp://ftp.ethoberon.ethz.ch/../../Oberon/OberonV4/Tools/AsciiCoder.Mod" rel="noreferrer" target="_blank">ftp://ftp.ethoberon.ethz.ch/../../Oberon/OberonV4/Tools/AsciiCoder.Mod</a><br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Tomas Kral <<a href="mailto:thomas.kral@email.cz">thomas.kral@email.cz</a>><br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
--<br>
<a href="mailto:Oberon@lists.inf.ethz.ch">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>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><div dir="ltr"><font face="'times new roman', serif">(email is my preferred communication media)</font><div><font face="'times new roman', serif">Aubrey McIntosh, Ph.D.<br>1502 Devon Circle<br>Austin TX 78723-1814</font><div><div><span style="line-height:20px;background-color:rgb(255,255,255)"><font face="'times new roman', serif">(512)-348-7401</font></span></div></div><div><div><br></div></div></div></div></div>
</div>