Sat, 06 May 2000 00:46:13 +0200 | wenzelm | fixed clash with new 'abs' const; | changeset | files |
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 |