<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto">Look here for OMI:<br><div><a href="https://books.google.ch/books?id=ioucBgAAQBAJ&pg=PA174&lpg=PA174&dq=oberon+omi&source=bl&ots=Qha3CVniXm&sig=ACfU3U2I5BxGvQX1zV3I4kFUsfvd0znq-g&hl=de&sa=X&ved=2ahUKEwj0vIb134PqAhVj1qYKHUmfA4QQ6AEwAnoECAcQAQ#v=onepage&q=oberon%20omi&f=false">https://books.google.ch/books?id=ioucBgAAQBAJ&pg=PA174&lpg=PA174&dq=oberon+omi&source=bl&ots=Qha3CVniXm&sig=ACfU3U2I5BxGvQX1zV3I4kFUsfvd0znq-g&hl=de&sa=X&ved=2ahUKEwj0vIb134PqAhVj1qYKHUmfA4QQ6AEwAnoECAcQAQ#v=onepage&q=oberon%20omi&f=false</a><br><br><div dir="ltr">Jörg</div><div dir="ltr"><br><blockquote type="cite">Am 15.06.2020 um 13:41 schrieb Bernhard Treutwein <bernhard@wildwein.de>:<br><br></blockquote></div><blockquote type="cite"><div dir="ltr"><span>> OMI is Oberon Machine Independent?</span><br><span></span><br><span>afaik, OMI stood for Oberon Module Interchange, but I am not absolutely confident</span><br><span>and I think your interpreation would be also possible.</span><br><span></span><br><span>Does one of the former ETHZ members remember the correct meaning?</span><br><span></span><br><span>--</span><br><span> Bernhard</span><br><span></span><br><span>--</span><br><span>Oberon@lists.inf.ethz.ch mailing list for ETH Oberon and related systems</span><br><span>https://lists.inf.ethz.ch/mailman/listinfo/oberon</span><br></div></blockquote></div></body></html>