| Thu, 03 Dec 2009 13:56:59 +0100 | Cezary Kaliszyk | Reintroduced varifyT; we still need it for permutation definition. | file | diff | annotate |
| Thu, 03 Dec 2009 13:45:52 +0100 | Cezary Kaliszyk | Updated the examples | file | diff | annotate |
| Wed, 02 Dec 2009 20:54:59 +0100 | Cezary Kaliszyk | Experiments with OPTION_map | file | diff | annotate |
| Mon, 30 Nov 2009 11:53:20 +0100 | Cezary Kaliszyk | Code cleaning. | file | diff | annotate |