Tue, 15 Mar 2011 11:04:53 +0000 | urbanc | corrected small typo | changeset | files |
Sat, 05 Mar 2011 11:42:14 +0000 | urbanc | slight polishing of the bibliography | changeset | files |
Sat, 05 Mar 2011 11:06:39 +0000 | urbanc | formalisation of first direction is now only 780 loc | changeset | files |
Sat, 26 Feb 2011 15:44:38 +0000 | urbanc | changed one occurence of tagging function into tagging relation | changeset | files |
Fri, 25 Feb 2011 12:41:35 +0000 | urbanc | added yacc is dead paper | changeset | files |
Thu, 24 Feb 2011 00:37:46 +0000 | urbanc | added a paper about derivatives | changeset | files |
Thu, 24 Feb 2011 00:34:45 +0000 | urbanc | added hocroft and ullman book | changeset | files |