| Thu, 02 Dec 2004 12:28:09 +0100 | nipkow | Fixed print translation for ALL x > y etc | changeset | files |
| Thu, 02 Dec 2004 11:59:34 +0100 | nipkow | added ALL print-translation for > and >=. | changeset | files |
| Thu, 02 Dec 2004 11:44:55 +0100 | nipkow | *** empty log message *** | changeset | files |