regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

Journal/Paper.thy

2011-12-17	urbanc	updated urls to AFP	file \| diff \| annotate
2011-11-20	urbanc	added slides for a talk in St Andrews	file \| diff \| annotate
2011-11-11	urbanc	small change	file \| diff \| annotate
2011-09-15	urbanc	set -> language	file \| diff \| annotate
2011-09-14	urbanc	added paper that recently appeared about rexps and pegs	file \| diff \| annotate
2011-09-14	urbanc	polished the non-regularity proof	file \| diff \| annotate
2011-09-14	urbanc	clarified proof about non-regularity	file \| diff \| annotate
2011-09-14	urbanc	corrected typo found by Xingyuan	file \| diff \| annotate
2011-09-13	urbanc	small typo	file \| diff \| annotate
2011-09-12	urbanc	a final polishing before submitting later this week	file \| diff \| annotate
2011-09-08	urbanc	one more itteration on the paper	file \| diff \| annotate
2011-09-07	urbanc	some more polishing and a link to Haines	file \| diff \| annotate
2011-09-07	urbanc	polished a bit the journal paper	file \| diff \| annotate
2011-09-06	urbanc	polished proposal	file \| diff \| annotate

regexp