| Sun, 20 Feb 2011 09:54:24 +0000 |
urbanc |
latest update
|
changeset |
files
|
| Sun, 20 Feb 2011 08:12:13 +0000 |
urbanc |
added pictures for seq-case
|
changeset |
files
|
| Sun, 20 Feb 2011 07:33:54 +0000 |
urbanc |
added definition of string prefix and string subtraction
|
changeset |
files
|
| Sun, 20 Feb 2011 06:02:58 +0000 |
urbanc |
polished everywhere...two cases still missing
|
changeset |
files
|
| Sat, 19 Feb 2011 22:05:22 +0000 |
urbanc |
my latest version (SEQ and STAR still missing)
|
changeset |
files
|
| Sat, 19 Feb 2011 21:49:11 +0000 |
urbanc |
added directory with the small files and numbers of lines
|
changeset |
files
|
| Sat, 19 Feb 2011 20:15:59 +0000 |
urbanc |
ALT case done
|
changeset |
files
|
| Sat, 19 Feb 2011 19:27:33 +0000 |
urbanc |
first two proofs in 2 direction
|
changeset |
files
|
| Sat, 19 Feb 2011 17:10:46 +0000 |
urbanc |
first proof
|
changeset |
files
|
| Sat, 19 Feb 2011 12:01:16 +0000 |
urbanc |
updated second direction
|
changeset |
files
|
| Sat, 19 Feb 2011 10:23:51 +0000 |
urbanc |
included comments by Chunhan
|
changeset |
files
|
| Fri, 18 Feb 2011 15:06:06 +0000 |
urbanc |
added comment from Larry
|
changeset |
files
|