| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | removed needless optimization for image -- there might be cases that benefit from it but there are others where it is clearly evil | changeset | files |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | added a hint when the user obviously just forgot a colon after the lemma's name | changeset | files |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | simplified special handling of set products | changeset | files |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | fix special handling of set products | changeset | files |