<div dir="ltr">What a wonderful news!<div>I already made a copy of all the repository.</div><div>I think I'll put it in personal Github to secure a public copy.</div><div><br></div><div>Thank you Bernhard!</div><div>And big thanks to Göttingen University and the Max Planck Society!</div><div><br></div><div>Prof. Pablo Cayuela</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Mar 5, 2020 at 9:27 AM Treutwein Bernhard <<a href="mailto:Bernhard.Treutwein@verwaltung.uni-muenchen.de">Bernhard.Treutwein@verwaltung.uni-muenchen.de</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">> The last reference to ETHZ repository at <a href="ftp://ftp.inf.ethz.ch/pub" rel="noreferrer" target="_blank">ftp://ftp.inf.ethz.ch/pub</a> has <br>
> many folders for Oberon, but all of them contain only a readme.txt ...<br>
<br>
There is a still active mirror of <a href="ftp://ftp.inf.ethz.ch/pub/" rel="noreferrer" target="_blank">ftp://ftp.inf.ethz.ch/pub/</a> at <br>
<a href="ftp://ftp.gwdg.de/pub/languages/oberon/ftp.inf.ethz.ch/" rel="noreferrer" target="_blank">ftp://ftp.gwdg.de/pub/languages/oberon/ftp.inf.ethz.ch/</a> which contains <br>
what used to be at <a href="ftp://ftp.inf.ethz.ch/" rel="noreferrer" target="_blank">ftp://ftp.inf.ethz.ch/</a> before they relocated the stuff to <br>
<a href="ftp://ftp.ethoberon.ethz.ch" rel="noreferrer" target="_blank">ftp://ftp.ethoberon.ethz.ch</a> (which apparently happened mid 2011).<br>
<br>
regards<br>
--<br>
Bernhard<br>
<br>
</blockquote></div>