Mercurial Mercurial > hg > regexp / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -50 -30 +30 +50 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2011-02-07 urbanc more on the paper changeset | files
2011-02-06 urbanc slightly more on the paper changeset | files
2011-02-06 zhang A formal presentation of automaton and Myhill-Nerrode theorem added to serve as a basis for further discussion changeset | files
2011-02-05 zhang Check in Myhill.thy before trying another way to explain DFA changeset | files
2011-02-05 urbanc more intro changeset | files
2011-02-04 urbanc more on the introduction changeset | files
2011-02-04 urbanc exercise about arden from TU Munich changeset | files
2011-02-04 zhang Added something to Myhill.thy, trying to explain the relationship between finite automata and language partition. changeset | files
2011-02-03 zhang Myhill_2.thy added changeset | files
2011-02-03 zhang Copy Myhill.thy into Myhill_2.thyand put Myhill_2.thy into logic ListP. Myhill.thy is now almost empty ready to be extended by new manuscripts. changeset | files
2011-02-03 urbanc more to the intro changeset | files
2011-02-03 urbanc a bit more tuning on the introduction changeset | files
2011-02-02 urbanc more on the intro changeset | files
2011-02-02 urbanc a little bit in the introduction changeset | files
2011-02-02 zhang Myhill.pdf modified changeset | files
2011-02-02 urbanc removed the inductive definition of Star and replaced it by a definition in terms of pow changeset | files
2011-01-31 zhang Myhill.thy IsabelleMakefile modified changeset | files
2011-01-31 urbanc a bit more on the paper changeset | files
2011-01-30 urbanc small typo changeset | files
2011-01-30 urbanc tuning of the syntax; needs the stmaryrd latex package changeset | files
2011-01-30 urbanc some tuning of the paper changeset | files
2011-01-30 urbanc revised proof of Ardens lemma changeset | files
2011-01-30 zhang Illustration added together with renewed explainations for case STAR. changeset | files
2011-01-29 zhang Myhill.thy and Myhill_1.thy changed. changeset | files
2011-01-28 urbanc slightly tuned the main lemma and the finiteness proofs changeset | files
2011-01-28 wu test changeset | files
2011-01-28 zhang More improvement changeset | files
2011-01-27 wu added a recent paper about reg exps and automata changeset | files
2011-01-27 urbanc added my changes again changeset | files
2011-01-27 zhang Trying to solve the confict changeset | files
(0) -50 -30 +30 +50 +100 +300 tip
regexp