Sat, 19 Feb 2011 20:15:59 +0000 ALT case done
urbanc [Sat, 19 Feb 2011 20:15:59 +0000] rev 120
ALT case done
Sat, 19 Feb 2011 19:27:33 +0000 first two proofs in 2 direction
urbanc [Sat, 19 Feb 2011 19:27:33 +0000] rev 119
first two proofs in 2 direction
Sat, 19 Feb 2011 17:10:46 +0000 first proof
urbanc [Sat, 19 Feb 2011 17:10:46 +0000] rev 118
first proof
Sat, 19 Feb 2011 12:01:16 +0000 updated second direction
urbanc [Sat, 19 Feb 2011 12:01:16 +0000] rev 117
updated second direction
Sat, 19 Feb 2011 10:23:51 +0000 included comments by Chunhan
urbanc [Sat, 19 Feb 2011 10:23:51 +0000] rev 116
included comments by Chunhan
Fri, 18 Feb 2011 15:06:06 +0000 added comment from Larry
urbanc [Fri, 18 Feb 2011 15:06:06 +0000] rev 115
added comment from Larry
Fri, 18 Feb 2011 14:26:23 +0000 updated bib
urbanc [Fri, 18 Feb 2011 14:26:23 +0000] rev 114
updated bib
(0) -100 -30 -10 -7 +7 +10 +30 +100 tip