| Fri, 01 Jul 2005 14:41:58 +0200 | wenzelm | low-level tuning of fold, fold_rev, foldl_map; | changeset | files |
| Fri, 01 Jul 2005 14:41:57 +0200 | wenzelm | isatool install: removed KDE option; | changeset | files |
| Fri, 01 Jul 2005 14:22:33 +0200 | berghofe | Fixed bug: lookup' must use = instead of eq_type to compare types of | changeset | files |