regexp: Shortlog

Mercurial Mercurial > hg > regexp / shortlog

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
2010-10-22	urbanc	deleted two unnecessary lemmas	changeset \| files
2010-10-22	urbanc	added a paper by Constable about the Myhill-Nerode in Nuprl using DFA and a paper by tobias about RegExp->DFA translation	changeset \| files
2010-10-21	urbanc	deleted the test	changeset \| files
2010-10-21	urbanc	tried at the end to prove the other direction (failed at the moment)	changeset \| files
2010-10-21	urbanc	deleted the matcher ate the beginning; made it to work with stable Isabelle and the development version	changeset \| files
2010-10-20	wu	former version has a ugly usage of "overloaded";	changeset \| files
2010-10-19	urbanc	added a file about the easy closure properties of regular sets (the difficult parts, like complement, are missing)	changeset \| files
2010-10-07	wu	Add a test file, after testing, this file can be deleted.	changeset \| files
2010-10-03	urbanc	added simple regexp matcher from Slind et al	changeset \| files
2010-10-03	urbanc	test	changeset \| files
2010-10-03	urbanc	added literature	changeset \| files
2010-10-03	urbanc	added initial version by Chunhan	changeset \| files

(0) +192 tip

regexp

RSS Atom