| 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 |
| Tue, 22 Feb 2011 12:43:05 +0000 | urbanc | three typos | changeset | files |
| Mon, 21 Feb 2011 03:35:39 +0000 | urbanc | one further polishing | changeset | files |
| Mon, 21 Feb 2011 03:33:27 +0000 | urbanc | final final polishing | changeset | files |
| Mon, 21 Feb 2011 03:30:38 +0000 | urbanc | final polished | changeset | files |
| Mon, 21 Feb 2011 02:33:05 +0000 | urbanc | chunhan's comments | changeset | files |
| Sun, 20 Feb 2011 18:58:34 +0000 | urbanc | minor change | changeset | files |
| Sun, 20 Feb 2011 18:54:31 +0000 | urbanc | comments by Xingyuan | changeset | files |
| 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 |