| Mon, 04 Apr 2011 13:27:34 +0200 | blanchet | make sure that Nitpick problem generation for cardinality 50 doesn't cause problems for lower cardinality by specifying the "batch_size" option | changeset | files |
| Mon, 04 Apr 2011 12:40:00 +0100 | paulson | merged | changeset | files |
| Mon, 04 Apr 2011 12:39:14 +0100 | paulson | Deletion of all semicolons, because they interfere with Proof General | changeset | files |
| Mon, 04 Apr 2011 09:32:50 +0200 | krauss | raised timeouts further, for SML/NJ -- because of variations in machines/compilers, fixed timeouts can merely prevent non-termination, not enforce particular performance characteristics. | changeset | files |