regexp: Changelog

zhang [Fri, 03 Jun 2011 13:54:14 +0000] rev 168

added

urbanc [Thu, 02 Jun 2011 20:02:16 +0000] rev 167

added a journal version

urbanc [Thu, 02 Jun 2011 16:44:35 +0000] rev 166

updated theories and itp-paper

urbanc [Tue, 31 May 2011 20:32:49 +0000] rev 165

added missing file

urbanc [Sun, 29 May 2011 20:01:37 +0000] rev 164

added old paper

urbanc [Thu, 26 May 2011 18:39:36 +0000] rev 163

a few more literature places

urbanc [Wed, 18 May 2011 19:54:43 +0000] rev 162

added directory for journal version; took uptodate version of the theory files

urbanc [Thu, 12 May 2011 05:55:05 +0000] rev 161

preparation for final paper version

regexp