New sources on hades.ethz.ch
For all of you who did not notice: there seem to be quite many
new contributions on hades in pub/incoming, including the new
o2c Oberon translator. Some of these contributions are a couple
of months old. Somehow, they do not seem to be moved to their
proper directories.
ftp> pwd
257 "/pub/incoming" is current directory.
total 1262
-rw-r--r-- 1 ftpman ftpman 185 Jun 2 1994 .message
-rw-r--r-- 1 ftpman ftp 5409 Dec 13 15:00 BATCH.COD
-rw-r--r-- 1 ftpman ftp 9898 Dec 22 20:18 arguments.distribution
-rw-r--r-- 1 ftpman ftp 13523 Dec 22 20:18 ce.distribution
drwxrwxr-x 2 ftp ftp 512 Feb 4 14:07 claudio
-rw-r--r-- 1 ftpman ftp 1788 Dec 22 20:19 claudio.readme
-rw-r--r-- 1 ftpman ftp 1812 Dec 22 20:18 date.distribution
-rw-r--r-- 1 ftpman ftp 5526 Dec 22 20:18 earthCoord.distribution
-rw-r--r-- 1 ftpman ftp 1083 Dec 22 20:18 log.distribution
-rw-r--r-- 1 ftpman ftp 822 Dec 22 20:18 mouse.distribution
-rw-r--r-- 1 ftpman ftp 29576 Jan 16 15:28 o2c-1.10-1.11.diff.gz
-rw-r--r-- 1 ftpman ftp 352874 Jan 16 15:28 o2c-1.11.tar.gz
-rw-r--r-- 1 ftpman ftp 322 Feb 26 06:22 oberonv4.txt
-rw-r--r-- 1 ftpman ftp 798058 Feb 26 06:23 oberonv4.zip
-rw-r--r-- 1 ftpman ftp 18419 Dec 22 20:18 sameGame.distribution
-rw-r--r-- 1 ftpman ftp 8663 Dec 22 20:18 string.distribution
-rw-r--r-- 1 ftpman ftp 7204 Dec 22 20:19 w.distribution