Journal/Paper.thy
Sat, 17 Dec 2011 13:32:11 +0000 urbanc updated urls to AFP
Sun, 20 Nov 2011 22:53:50 +0000 urbanc added slides for a talk in St Andrews
Fri, 11 Nov 2011 23:38:10 +0000 urbanc small change
Thu, 15 Sep 2011 12:46:00 +0000 urbanc set -> language
Wed, 14 Sep 2011 15:56:03 +0000 urbanc added paper that recently appeared about rexps and pegs
Wed, 14 Sep 2011 13:39:03 +0000 urbanc polished the non-regularity proof
Wed, 14 Sep 2011 13:00:44 +0000 urbanc clarified proof about non-regularity
Wed, 14 Sep 2011 11:46:50 +0000 urbanc corrected typo found by Xingyuan
Tue, 13 Sep 2011 12:00:53 +0000 urbanc small typo
Mon, 12 Sep 2011 19:50:21 +0000 urbanc a final polishing before submitting later this week
Thu, 08 Sep 2011 15:08:02 +0000 urbanc one more itteration on the paper
Wed, 07 Sep 2011 18:17:56 +0000 urbanc some more polishing and a link to Haines
Wed, 07 Sep 2011 09:28:13 +0000 urbanc polished a bit the journal paper
Tue, 06 Sep 2011 02:35:10 +0000 urbanc polished proposal
Mon, 05 Sep 2011 15:42:29 +0000 urbanc added section about non-regularity
less more (0) -15 tip