Sat, 05 Mar 2011 11:42:14 +0000 slight polishing of the bibliography
urbanc [Sat, 05 Mar 2011 11:42:14 +0000] rev 144
slight polishing of the bibliography
Sat, 05 Mar 2011 11:06:39 +0000 formalisation of first direction is now only 780 loc
urbanc [Sat, 05 Mar 2011 11:06:39 +0000] rev 143
formalisation of first direction is now only 780 loc
Sat, 26 Feb 2011 15:44:38 +0000 changed one occurence of tagging function into tagging relation
urbanc [Sat, 26 Feb 2011 15:44:38 +0000] rev 142
changed one occurence of tagging function into tagging relation
Fri, 25 Feb 2011 12:41:35 +0000 added yacc is dead paper
urbanc [Fri, 25 Feb 2011 12:41:35 +0000] rev 141
added yacc is dead paper
Thu, 24 Feb 2011 00:37:46 +0000 added a paper about derivatives
urbanc [Thu, 24 Feb 2011 00:37:46 +0000] rev 140
added a paper about derivatives
Thu, 24 Feb 2011 00:34:45 +0000 added hocroft and ullman book
urbanc [Thu, 24 Feb 2011 00:34:45 +0000] rev 139
added hocroft and ullman book
Tue, 22 Feb 2011 12:43:05 +0000 three typos
urbanc [Tue, 22 Feb 2011 12:43:05 +0000] rev 138
three typos
Mon, 21 Feb 2011 03:35:39 +0000 one further polishing
urbanc [Mon, 21 Feb 2011 03:35:39 +0000] rev 137
one further polishing
Mon, 21 Feb 2011 03:33:27 +0000 final final polishing
urbanc [Mon, 21 Feb 2011 03:33:27 +0000] rev 136
final final polishing
Mon, 21 Feb 2011 03:30:38 +0000 final polished
urbanc [Mon, 21 Feb 2011 03:30:38 +0000] rev 135
final polished
(0) -100 -10 +10 +100 tip