urbanc [Sat, 05 Mar 2011 11:06:39 +0000] rev 143
formalisation of first direction is now only 780 loc
urbanc [Sat, 26 Feb 2011 15:44:38 +0000] rev 142
changed one occurence of tagging function into tagging relation
urbanc [Fri, 25 Feb 2011 12:41:35 +0000] rev 141
added yacc is dead paper
urbanc [Thu, 24 Feb 2011 00:37:46 +0000] rev 140
added a paper about derivatives
urbanc [Thu, 24 Feb 2011 00:34:45 +0000] rev 139
added hocroft and ullman book
urbanc [Tue, 22 Feb 2011 12:43:05 +0000] rev 138
three typos
urbanc [Mon, 21 Feb 2011 03:35:39 +0000] rev 137
one further polishing
urbanc [Mon, 21 Feb 2011 03:33:27 +0000] rev 136
final final polishing
urbanc [Mon, 21 Feb 2011 03:30:38 +0000] rev 135
final polished
urbanc [Mon, 21 Feb 2011 02:33:05 +0000] rev 134
chunhan's comments
urbanc [Sun, 20 Feb 2011 18:58:34 +0000] rev 133
minor change
urbanc [Sun, 20 Feb 2011 18:54:31 +0000] rev 132
comments by Xingyuan
urbanc [Sun, 20 Feb 2011 17:47:54 +0000] rev 131
chunhan's comments
urbanc [Sun, 20 Feb 2011 13:43:00 +0000] rev 130
pre-final version
urbanc [Sun, 20 Feb 2011 12:52:35 +0000] rev 129
minor
urbanc [Sun, 20 Feb 2011 12:51:04 +0000] rev 128
finished picture
urbanc [Sun, 20 Feb 2011 11:14:07 +0000] rev 127
seq case finished
urbanc [Sun, 20 Feb 2011 09:54:24 +0000] rev 126
latest update
urbanc [Sun, 20 Feb 2011 08:12:13 +0000] rev 125
added pictures for seq-case
urbanc [Sun, 20 Feb 2011 07:33:54 +0000] rev 124
added definition of string prefix and string subtraction
urbanc [Sun, 20 Feb 2011 06:02:58 +0000] rev 123
polished everywhere...two cases still missing
urbanc [Sat, 19 Feb 2011 22:05:22 +0000] rev 122
my latest version (SEQ and STAR still missing)
urbanc [Sat, 19 Feb 2011 21:49:11 +0000] rev 121
added directory with the small files and numbers of lines
urbanc [Sat, 19 Feb 2011 20:15:59 +0000] rev 120
ALT case done