Sun, 20 Feb 2011 09:54:24 +0000 latest update
urbanc [Sun, 20 Feb 2011 09:54:24 +0000] rev 126
latest update
Sun, 20 Feb 2011 08:12:13 +0000 added pictures for seq-case
urbanc [Sun, 20 Feb 2011 08:12:13 +0000] rev 125
added pictures for seq-case
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
(0) -100 -10 +10 +100 tip