Fri, 29 Dec 2000 19:43:52 +0100 | wenzelm | proper error msg; | changeset | files |
Wed, 27 Dec 2000 18:27:49 +0100 | wenzelm | 'erule' etc.: assm arg; | changeset | files |
Wed, 27 Dec 2000 18:27:19 +0100 | wenzelm | Method.erule 0; | changeset | files |
Wed, 27 Dec 2000 18:26:53 +0100 | wenzelm | updated; | changeset | files |
Wed, 27 Dec 2000 18:26:32 +0100 | wenzelm | 'insert' made proper; | changeset | files |
Wed, 27 Dec 2000 18:25:54 +0100 | wenzelm | ares_tac, [edf]atac; | changeset | files |
Sat, 23 Dec 2000 22:53:27 +0100 | wenzelm | antiq: preview errors; | changeset | files |
Sat, 23 Dec 2000 22:53:05 +0100 | wenzelm | tuned length; | changeset | files |