[Oberon] Re (2): revisions in sources.