Sun, 20 Feb 2011 07:33:54 +0000 added definition of string prefix and string subtraction
urbanc [Sun, 20 Feb 2011 07:33:54 +0000] rev 124
added definition of string prefix and string subtraction
Sun, 20 Feb 2011 06:02:58 +0000 polished everywhere...two cases still missing
urbanc [Sun, 20 Feb 2011 06:02:58 +0000] rev 123
polished everywhere...two cases still missing
Sat, 19 Feb 2011 22:05:22 +0000 my latest version (SEQ and STAR still missing)
urbanc [Sat, 19 Feb 2011 22:05:22 +0000] rev 122
my latest version (SEQ and STAR still missing)
Sat, 19 Feb 2011 21:49:11 +0000 added directory with the small files and numbers of lines
urbanc [Sat, 19 Feb 2011 21:49:11 +0000] rev 121
added directory with the small files and numbers of lines
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
Fri, 18 Feb 2011 12:14:07 +0000 polished everything
urbanc [Fri, 18 Feb 2011 12:14:07 +0000] rev 113
polished everything
Thu, 17 Feb 2011 21:30:26 +0000 more on the conclusion
urbanc [Thu, 17 Feb 2011 21:30:26 +0000] rev 112
more on the conclusion
Thu, 17 Feb 2011 13:25:29 +0000 first ideas about conclusion
urbanc [Thu, 17 Feb 2011 13:25:29 +0000] rev 111
first ideas about conclusion
(0) -100 -14 +14 +100 tip