| Fri, 18 Aug 2000 12:30:41 +0200 | paulson | now allows dest_coeff to fail | changeset | files |
| Fri, 18 Aug 2000 11:14:23 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 18 Aug 2000 10:34:08 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 17 Aug 2000 21:07:25 +0200 | wenzelm | removed obsolete keyword; | changeset | files |
| Thu, 17 Aug 2000 21:06:04 +0200 | wenzelm | fixed indexing; | changeset | files |
| Thu, 17 Aug 2000 18:58:49 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 17 Aug 2000 18:31:12 +0200 | nipkow | installed recdef congs data | changeset | files |