Thu, 18 Nov 2010 11:39:17 +0000 wu All cases of the Other direction finished
Wed, 10 Nov 2010 11:59:29 +0000 urbanc added a test file
Wed, 10 Nov 2010 11:53:07 +0000 urbanc my slides from the talk in Cambridge
Wed, 10 Nov 2010 11:49:45 +0000 urbanc added my slides
Mon, 08 Nov 2010 01:13:09 +0000 urbanc slight tuning of proof by Chunhan
Sat, 06 Nov 2010 23:31:53 +0000 wu the ALT case is done;
(0) -10 -6 +6 +10 +30 +100 +300 tip