| 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 |
| Tue, 03 Aug 2010 14:04:48 +0200 | blanchet | clarify attribute documentation | changeset | files |
| Tue, 03 Aug 2010 13:40:24 +0200 | blanchet | choose better example | changeset | files |