regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

Journal/Paper.thy

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
2011-09-05	urbanc	added section about non-regularity	file \| diff \| annotate
2011-09-05	urbanc	polished SUBSEQ	file \| diff \| annotate
2011-09-05	urbanc	slight polishing to SUBSEQ	file \| diff \| annotate
2011-09-05	urbanc	slight polishing to SUBSEQ	file \| diff \| annotate
2011-09-05	urbanc	added section about SUBSEQ and SUPSEQ	file \| diff \| annotate
2011-08-26	urbanc	added a few points	file \| diff \| annotate
2011-08-25	urbanc	a few bits on the journal paper	file \| diff \| annotate
2011-08-22	urbanc	changes according to afp-submission	file \| diff \| annotate
2011-08-19	urbanc	added comments by Xingyuan	file \| diff \| annotate
2011-08-17	urbanc	added an example for non-regularity and continuation lemma (the example does not yet work)	file \| diff \| annotate
2011-08-17	urbanc	a little tuning	file \| diff \| annotate
2011-08-16	urbanc	final(?) version of the paper	file \| diff \| annotate
2011-08-15	urbanc	a bit more polishing	file \| diff \| annotate
2011-08-15	urbanc	polishing of the closure section and conclusion	file \| diff \| annotate
2011-08-11	urbanc	some typos	file \| diff \| annotate
2011-08-11	urbanc	finished section about derivatives and closure properties	file \| diff \| annotate
2011-08-09	urbanc	more on paper	file \| diff \| annotate
2011-08-05	urbanc	more on the derivatives section	file \| diff \| annotate
2011-08-03	urbanc	added more to the derivatives section	file \| diff \| annotate
2011-08-03	urbanc	completed the taging-function section	file \| diff \| annotate
2011-08-03	urbanc	more on the paper	file \| diff \| annotate

less more (0) -30 tip

regexp

RSS Atom