| Wed, 14 Apr 1999 11:32:50 +0200 | wenzelm | cleaned comments; | changeset | files |
| Wed, 14 Apr 1999 11:24:09 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 14 Apr 1999 11:17:16 +0200 | wenzelm | fixed named type infixes (actual BUG!); | changeset | files |
| Tue, 13 Apr 1999 12:39:35 +0200 | wenzelm | updated isatool install; | changeset | files |
| Tue, 13 Apr 1999 12:36:11 +0200 | wenzelm | -p option; | changeset | files |
| Tue, 13 Apr 1999 12:35:28 +0200 | wenzelm | adapted isatool install; | changeset | files |
| Tue, 13 Apr 1999 12:35:11 +0200 | wenzelm | improved isatool install; | changeset | files |