Tue, 04 Apr 2000 12:31:48 +0200 | wenzelm | 'let': replaced 'as' by 'and'; | changeset | files |
Mon, 03 Apr 2000 21:05:07 +0200 | wenzelm | tuned recover; | changeset | files |
Mon, 03 Apr 2000 14:02:40 +0200 | wenzelm | isapar, isamarkuptext, isamarkuptxt turned into environments; | changeset | files |