| Tue, 03 Aug 2010 17:29:27 +0200 | blanchet | updated example timings | changeset | files |
| Tue, 03 Aug 2010 15:15:17 +0200 | blanchet | more helpful message | changeset | files |
| Tue, 03 Aug 2010 14:54:30 +0200 | blanchet | also mention gfp | changeset | files |
| Tue, 03 Aug 2010 14:49:42 +0200 | blanchet | bump up the max cardinalities, to use up more of the time given to us by the user | changeset | files |
| Tue, 03 Aug 2010 14:49:02 +0200 | blanchet | make tracing monotonicity easier | changeset | files |
| Tue, 03 Aug 2010 14:28:44 +0200 | blanchet | more documentation, based on email discussions with a user | changeset | files |
| Tue, 03 Aug 2010 14:06:29 +0200 | blanchet | make example easier to parse | changeset | files |