Thu, 25 Apr 1996 12:45:14 +0200 | paulson | Rearrangement and polishing to look for for publication | changeset | files |
Thu, 25 Apr 1996 11:48:13 +0200 | paulson | Now calls "rail" to update datatype syntax charts | changeset | files |
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 |
Tue, 23 Apr 1996 17:34:05 +0200 | oheimb | *** empty log message *** | changeset | files |
Tue, 23 Apr 1996 17:25:29 +0200 | oheimb | *** empty log message *** | changeset | files |