| Wed, 29 Jan 1997 15:58:17 +0100 | wenzelm | fixed getplatform call; | changeset | files |
| Wed, 29 Jan 1997 15:45:40 +0100 | wenzelm | removed warning for unprintable chars in strings (functionality will | changeset | files |
| Wed, 29 Jan 1997 15:34:23 +0100 | paulson | The redeclaration of qed_spec_mp is unnecessary because it is now declared | changeset | files |