| Wed, 23 Mar 2011 12:17:30 +0000 | urbanc | added the most current versions of the theories. | changeset | files |
| Tue, 15 Mar 2011 15:53:22 +0000 | urbanc | correct version | changeset | files |
| Tue, 15 Mar 2011 15:52:44 +0000 | urbanc | deleted wrong version | changeset | files |
| Tue, 15 Mar 2011 14:29:41 +0000 | urbanc | added chapter about regular expressions by Sakarovitch (interesting pages are 139 - 142) | changeset | files |
| 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 |