| Sat, 01 Apr 2000 20:21:39 +0200 | wenzelm | recdef: admit names/atts; | changeset | files |
| Sat, 01 Apr 2000 20:18:52 +0200 | wenzelm | isatool document: tuned -c option; | changeset | files |
| Sat, 01 Apr 2000 20:17:51 +0200 | wenzelm | recdef: admit name and atts; | changeset | files |