[Oberon] ORG/ORP

[Paul Reed]

Hi Volkert,

> Are these errors fixed
>
> https://lists.inf.ethz.ch/pipermail/oberon/2014/007195.html

Rest assured, nothing has been fixed or changed in ORG or ORP (except the
latter has a small alignment fix from February which somehow didn't make
it to the web) - but one way of addressing the above error has already
been suggested (and there's probably more that can be done there too).


> https://lists.inf.ethz.ch/pipermail/oberon/2014/007199.html
>
> because of this message
>
> https://lists.inf.ethz.ch/pipermail/oberon/2014/007288.html

Yes this is fixed, but it is to do with ORS only, which was indeed updated.

Once again, sorry for any confusion and thanks for all the feedback, it is
appreciated.

Paul