| 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 |
| Fri, 01 Jul 2005 14:20:01 +0200 | berghofe | Changed interface of Envir.lookup' | changeset | files |