| Fri, 01 Jul 2005 14:42:01 +0200 | wenzelm | low-level tuning of map, fold; | changeset | files |
| Fri, 01 Jul 2005 14:42:00 +0200 | wenzelm | ctyp: added 'sorts' field; | changeset | files |
| Fri, 01 Jul 2005 14:41:59 +0200 | wenzelm | added all_sorts_nonempty; | changeset | files |
| 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 |