| Mon, 14 Aug 2000 14:50:32 +0200 | wenzelm | added thy_script kind; | changeset | files |
| Mon, 14 Aug 2000 14:50:11 +0200 | wenzelm | tuned msg; | changeset | files |
| Mon, 14 Aug 2000 14:49:49 +0200 | wenzelm | use_let: exclude 'val'; | changeset | files |
| Mon, 14 Aug 2000 14:48:07 +0200 | wenzelm | fixed document preparation; | changeset | files |