Copy of ETHZ repository at ftp://ftp.gwdg.de/pub/languages/oberon/ftp.inf.ethz.ch/ - View it on GitHub