Wed, 17 Feb 2010 14:35:06 +0100 Some optimizations and fixes.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 17 Feb 2010 14:35:06 +0100] rev 1173
Some optimizations and fixes.
Wed, 17 Feb 2010 14:17:02 +0100 Simplified format of bindings.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 17 Feb 2010 14:17:02 +0100] rev 1172
Simplified format of bindings.
Wed, 17 Feb 2010 13:56:31 +0100 Tested the Perm code; works everywhere in Terms.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 17 Feb 2010 13:56:31 +0100] rev 1171
Tested the Perm code; works everywhere in Terms.
Wed, 17 Feb 2010 13:54:35 +0100 Wrapped the permutation code.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 17 Feb 2010 13:54:35 +0100] rev 1170
Wrapped the permutation code.
Wed, 17 Feb 2010 10:20:26 +0100 Description of intended bindings.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 17 Feb 2010 10:20:26 +0100] rev 1169
Description of intended bindings.
Wed, 17 Feb 2010 10:12:01 +0100 Code for generating the fv function, no bindings yet.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 17 Feb 2010 10:12:01 +0100] rev 1168
Code for generating the fv function, no bindings yet.
Wed, 17 Feb 2010 09:27:02 +0100 merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 17 Feb 2010 09:27:02 +0100] rev 1167
merge
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 tip