Thu, 25 Apr 1996 11:44:34 +0200 | paulson | automatic updates | changeset | files |
Wed, 24 Apr 1996 13:01:13 +0200 | oheimb | changed two goals formulated with 8bit font | changeset | files |
Wed, 24 Apr 1996 11:20:57 +0200 | clasohm | removed David's private version (i.e. restored version 1.1) | changeset | files |