Sat, 05 Mar 2011 11:06:39 +0000 urbanc formalisation of first direction is now only 780 loc
Sat, 26 Feb 2011 15:44:38 +0000 urbanc changed one occurence of tagging function into tagging relation
Fri, 25 Feb 2011 12:41:35 +0000 urbanc added yacc is dead paper
Thu, 24 Feb 2011 00:37:46 +0000 urbanc added a paper about derivatives
Thu, 24 Feb 2011 00:34:45 +0000 urbanc added hocroft and ullman book
Tue, 22 Feb 2011 12:43:05 +0000 urbanc three typos
(0) -100 -30 -10 -6 +6 +10 +30 +100 tip