Fri, 18 Jan 2013 13:03:09 +0000 shortening a bit the paper and updating various things
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Jan 2013 13:03:09 +0000] rev 49
shortening a bit the paper and updating various things
Fri, 18 Jan 2013 11:40:01 +0000 updated to ITP and updated directories
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Jan 2013 11:40:01 +0000] rev 48
updated to ITP and updated directories
(0) -30 -10 -2 +2 +10 +30 +100 tip