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 |
Wed, 14 Sep 2011 13:00:44 +0000 | urbanc | clarified proof about non-regularity | changeset | files |