Tue, 24 Aug 2010 15:06:47 +0200 | blanchet | use a soft time limit for E | changeset | files |
Tue, 24 Aug 2010 14:36:29 +0200 | blanchet | make remote ATP versions more robust, by starting with "preferred" version numbers and falling back on any version | changeset | files |