Wed, 21 Apr 2010 14:02:34 +0200 | blanchet | merged | changeset | files |
Wed, 21 Apr 2010 14:02:19 +0200 | blanchet | clarify error message | changeset | files |
Wed, 21 Apr 2010 12:22:04 +0200 | blanchet | distinguish between the different ATP errors in the user interface; | changeset | files |