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 |