regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

Paper/Paper.thy

2011-02-19	urbanc	my latest version (SEQ and STAR still missing)	file \| diff \| annotate
2011-02-19	urbanc	added directory with the small files and numbers of lines	file \| diff \| annotate
2011-02-19	urbanc	ALT case done	file \| diff \| annotate
2011-02-19	urbanc	first two proofs in 2 direction	file \| diff \| annotate
2011-02-19	urbanc	first proof	file \| diff \| annotate
2011-02-19	urbanc	updated second direction	file \| diff \| annotate
2011-02-19	urbanc	included comments by Chunhan	file \| diff \| annotate
2011-02-18	urbanc	added comment from Larry	file \| diff \| annotate
2011-02-18	urbanc	updated bib	file \| diff \| annotate
2011-02-18	urbanc	polished everything	file \| diff \| annotate
2011-02-17	urbanc	more on the conclusion	file \| diff \| annotate
2011-02-17	urbanc	first ideas about conclusion	file \| diff \| annotate
2011-02-17	urbanc	completed first direction	file \| diff \| annotate
2011-02-16	urbanc	minor updated	file \| diff \| annotate
2011-02-16	urbanc	filled details in one place	file \| diff \| annotate
2011-02-15	urbanc	updated paper	file \| diff \| annotate

regexp