regexp: File revisions

Mercurial Mercurial > hg > regexp / file revisions

tphols-2011/myhill.pdf

Fri, 28 Jan 2011 12:53:01 +0000	wu	test	file \| diff \| annotate
Thu, 27 Jan 2011 16:58:11 +0000	urbanc	added my changes again	file \| diff \| annotate
Thu, 27 Jan 2011 11:50:58 +0000	zhang	a newer version	file \| diff \| annotate
Thu, 27 Jan 2011 05:39:19 +0000	wu	tuned a bit more the last STAR-proof	file \| diff \| annotate
Thu, 27 Jan 2011 00:51:46 +0000	urbanc	tuned a little bit the section about finite partitions	file \| diff \| annotate
Wed, 26 Jan 2011 22:58:24 +0000	wu	ITP-Paper loads Myhill.thy	file \| diff \| annotate
Wed, 26 Jan 2011 22:51:51 +0000	wu	added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP	file \| diff \| annotate
Wed, 26 Jan 2011 13:21:16 +0000	zhang	ok	file \| diff \| annotate
Mon, 24 Jan 2011 11:29:55 +0000	zhang	Directory [tphols-2011] is added to host the commented version of [Myhill.thy]. Directory [pres] is created to host a build session for logical image [ListP] which is essentially [Main] extended with [List_prefix.thy].	file \| diff \| annotate

regexp