| Fri, 31 Jan 1997 15:54:00 +0100 | oheimb | added addloop (and also documentation of addsolver | changeset | files |
| Fri, 31 Jan 1997 13:57:33 +0100 | oheimb | changed handling of cont_lemmas and adm_lemmas | changeset | files |
| Wed, 29 Jan 1997 15:58:17 +0100 | wenzelm | fixed getplatform call; | changeset | files |
| Wed, 29 Jan 1997 15:45:40 +0100 | wenzelm | removed warning for unprintable chars in strings (functionality will | changeset | files |