| Sun, 20 Feb 2011 17:47:54 +0000 | urbanc | chunhan's comments | changeset | files |
| Sun, 20 Feb 2011 13:43:00 +0000 | urbanc | pre-final version | changeset | files |
| Sun, 20 Feb 2011 12:52:35 +0000 | urbanc | minor | changeset | files |
| Sun, 20 Feb 2011 12:51:04 +0000 | urbanc | finished picture | changeset | files |
| Sun, 20 Feb 2011 11:14:07 +0000 | urbanc | seq case finished | changeset | files |
| 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 |