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 |
Fri, 05 May 2000 22:32:49 +0200 | wenzelm | removed dead code: listof; | changeset | files |
Fri, 05 May 2000 22:32:25 +0200 | wenzelm | use Args.colon / Args.parens; | changeset | files |
Fri, 05 May 2000 22:30:14 +0200 | wenzelm | adapted to new arithmetic simprocs; | changeset | files |