Tue, 23 Mar 2010 08:46:44 +0100 | Cezary Kaliszyk | Term1 is identical to Example 3 | changeset | files |
Tue, 23 Mar 2010 08:45:08 +0100 | Cezary Kaliszyk | Move example3 out. | changeset | files |
Tue, 23 Mar 2010 08:42:02 +0100 | Cezary Kaliszyk | Move Ex1 and Ex2 out of Test | changeset | files |
Tue, 23 Mar 2010 08:33:48 +0100 | Cezary Kaliszyk | Move examples which create more permutations out | changeset | files |
Tue, 23 Mar 2010 08:22:48 +0100 | Cezary Kaliszyk | Move LamEx out of Test. | changeset | files |
Tue, 23 Mar 2010 08:20:13 +0100 | Cezary Kaliszyk | Move lambda examples to manual | changeset | files |
Tue, 23 Mar 2010 08:19:33 +0100 | Cezary Kaliszyk | Move manual examples to a subdirectory. | changeset | files |
Tue, 23 Mar 2010 08:16:39 +0100 | Cezary Kaliszyk | Removed compat tests. | changeset | files |