| Fri, 05 May 2000 22:37:04 +0200 | wenzelm | use Sign.simple_read_term; | changeset | files |
| Fri, 05 May 2000 22:35:51 +0200 | wenzelm | error msg: counting from one (again), in order to be consistent with | changeset | files |
| Fri, 05 May 2000 22:34:40 +0200 | wenzelm | tuned messages; | changeset | files |