Sat, 17 Dec 2011 13:32:11 +0000 | urbanc | updated urls to AFP | changeset | files |
Sun, 20 Nov 2011 22:53:50 +0000 | urbanc | added slides for a talk in St Andrews | changeset | files |
Fri, 11 Nov 2011 23:38:10 +0000 | urbanc | small change | changeset | files |
Thu, 15 Sep 2011 12:46:00 +0000 | urbanc | set -> language | changeset | files |
Wed, 14 Sep 2011 21:14:50 +0000 | urbanc | added a paper about applications | changeset | files |
Wed, 14 Sep 2011 15:56:03 +0000 | urbanc | added paper that recently appeared about rexps and pegs | changeset | files |
Wed, 14 Sep 2011 13:39:03 +0000 | urbanc | polished the non-regularity proof | changeset | files |