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
|
Tue, 23 Mar 2010 08:11:39 +0100 |
Cezary Kaliszyk |
merge
|
changeset |
files
|
Tue, 23 Mar 2010 08:11:11 +0100 |
Cezary Kaliszyk |
Move Non-respectful examples to NotRsp
|
changeset |
files
|
Tue, 23 Mar 2010 07:43:20 +0100 |
Christian Urban |
merged
|
changeset |
files
|
Tue, 23 Mar 2010 07:39:10 +0100 |
Christian Urban |
more on the paper
|
changeset |
files
|
Tue, 23 Mar 2010 07:04:27 +0100 |
Cezary Kaliszyk |
Move the comment to appropriate place.
|
changeset |
files
|