regexp: Shortlog

Mercurial Mercurial > hg > regexp / shortlog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30 +30 +50 +100 +300 tip

2011-01-27	zhang	a newer version	changeset \| files
2011-01-27	wu	tuned a bit more the last STAR-proof	changeset \| files
2011-01-27	urbanc	tuned a little bit the section about finite partitions	changeset \| files
2011-01-26	zhang	Delete generated	changeset \| files
2011-01-26	wu	ITP-Paper loads Myhill.thy	changeset \| files
2011-01-26	wu	added an itp entry to IsaMakefile; fixed problem with eqref; have not used heap file ListP	changeset \| files
2011-01-26	urbanc	made the theory work under both Isabelle 2009 and 2011	changeset \| files
2011-01-26	zhang	Just checkin	changeset \| files
2011-01-26	zhang	Small modification	changeset \| files
2011-01-26	zhang	ok	changeset \| files
2011-01-25	zhang	1. Myhill.thy is proved to correct some typos. 2. Some sections are added to the first direction. 3. The small theory of list difference is now separated into Prefix_subtract.thy and the ROOT.ML	changeset \| files
2011-01-24	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].	changeset \| files
2011-01-07	wu	Beautifying of the Other Direction is finished.	changeset \| files
2010-12-31	wu	Rewritten of hard direction once more. To make it looking better.	changeset \| files
2010-12-14	wu	Add new file for the new definition of the hard direction's simplification.	changeset \| files
2010-11-26	urbanc	added a recent paper by Tobias Nipkow on regular expressions	changeset \| files
2010-11-26	urbanc	added interesting paper by rutten	changeset \| files
2010-11-25	urbanc	added paper	changeset \| files
2010-11-18	wu	All cases of the Other direction finished	changeset \| files
2010-11-10	urbanc	added a test file	changeset \| files
2010-11-10	urbanc	my slides from the talk in Cambridge	changeset \| files
2010-11-10	urbanc	added my slides	changeset \| files
2010-11-08	urbanc	slight tuning of proof by Chunhan	changeset \| files
2010-11-06	wu	the ALT case is done;	changeset \| files
2010-11-03	urbanc	added more experiments	changeset \| files
2010-11-03	urbanc	added initial slides for informal talk in Cambridge	changeset \| files
2010-10-26	urbanc	added slides of chunhan	changeset \| files
2010-10-26	urbanc	more experiments	changeset \| files
2010-10-24	urbanc	a few more experiments, but no proof for the ALT-case	changeset \| files
2010-10-23	wu	add some proofs about the other direction	changeset \| files

(0) -30 +30 +50 +100 +300 tip

regexp