regexp: Changelog

urbanc [Fri, 25 Mar 2011 09:42:33 +0000] rev 152

MN via partial derivatives

urbanc [Wed, 23 Mar 2011 13:33:55 +0000] rev 151

moved paper to correct place

urbanc [Wed, 23 Mar 2011 12:22:54 +0000] rev 150

added paper by Antimirov

urbanc [Wed, 23 Mar 2011 12:17:30 +0000] rev 149

added the most current versions of the theories.

urbanc [Tue, 15 Mar 2011 15:53:22 +0000] rev 148

correct version

urbanc [Tue, 15 Mar 2011 15:52:44 +0000] rev 147

deleted wrong version

urbanc [Tue, 15 Mar 2011 14:29:41 +0000] rev 146

added chapter about regular expressions by Sakarovitch (interesting pages are 139 - 142)

urbanc [Tue, 15 Mar 2011 11:04:53 +0000] rev 145

corrected small typo

urbanc [Sat, 05 Mar 2011 11:42:14 +0000] rev 144

slight polishing of the bibliography

urbanc [Sat, 05 Mar 2011 11:06:39 +0000] rev 143

formalisation of first direction is now only 780 loc

regexp