regexp: Changelog

urbanc [Fri, 26 Nov 2010 10:53:14 +0000] rev 25

added interesting paper by rutten

urbanc [Thu, 25 Nov 2010 18:54:45 +0000] rev 24

added paper

wu [Thu, 18 Nov 2010 11:39:17 +0000] rev 23

All cases of the Other direction finished

urbanc [Wed, 10 Nov 2010 11:59:29 +0000] rev 22

added a test file

urbanc [Wed, 10 Nov 2010 11:53:07 +0000] rev 21

my slides from the talk in Cambridge

urbanc [Wed, 10 Nov 2010 11:49:45 +0000] rev 20

added my slides

urbanc [Mon, 08 Nov 2010 01:13:09 +0000] rev 19

slight tuning of proof by Chunhan

wu [Sat, 06 Nov 2010 23:31:53 +0000] rev 18

the ALT case is done; the other two cases: the relation is defined by not proved on inj part.

urbanc [Wed, 03 Nov 2010 22:08:50 +0000] rev 17

added more experiments

urbanc [Wed, 03 Nov 2010 21:42:44 +0000] rev 16

added initial slides for informal talk in Cambridge

regexp