Mercurial Mercurial > hg > regexp / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -60 +60 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2011-02-20 urbanc minor change changeset | files
2011-02-20 urbanc comments by Xingyuan changeset | files
2011-02-20 urbanc chunhan's comments changeset | files
2011-02-20 urbanc pre-final version changeset | files
2011-02-20 urbanc minor changeset | files
2011-02-20 urbanc finished picture changeset | files
2011-02-20 urbanc seq case finished changeset | files
2011-02-20 urbanc latest update changeset | files
2011-02-20 urbanc added pictures for seq-case changeset | files
2011-02-20 urbanc added definition of string prefix and string subtraction changeset | files
2011-02-20 urbanc polished everywhere...two cases still missing changeset | files
2011-02-19 urbanc my latest version (SEQ and STAR still missing) changeset | files
2011-02-19 urbanc added directory with the small files and numbers of lines changeset | files
2011-02-19 urbanc ALT case done changeset | files
2011-02-19 urbanc first two proofs in 2 direction changeset | files
2011-02-19 urbanc first proof changeset | files
2011-02-19 urbanc updated second direction changeset | files
2011-02-19 urbanc included comments by Chunhan changeset | files
2011-02-18 urbanc added comment from Larry changeset | files
2011-02-18 urbanc updated bib changeset | files
2011-02-18 urbanc polished everything changeset | files
2011-02-17 urbanc more on the conclusion changeset | files
2011-02-17 urbanc first ideas about conclusion changeset | files
2011-02-17 urbanc completed first direction changeset | files
2011-02-16 urbanc minor updated changeset | files
2011-02-16 urbanc filled details in one place changeset | files
2011-02-15 urbanc updated paper changeset | files
2011-02-15 urbanc updated paper changeset | files
2011-02-15 urbanc updated paper changeset | files
2011-02-15 urbanc updated paper changeset | files
2011-02-14 urbanc updated changeset | files
2011-02-14 urbanc added definition of DERIV and delta changeset | files
2011-02-14 urbanc updated paper changeset | files
2011-02-14 urbanc updated changeset | files
2011-02-13 zhang More into the second direction changeset | files
2011-02-11 urbanc included comments by Xingyuan changeset | files
2011-02-11 urbanc slightly streamlined the proof changeset | files
2011-02-10 urbanc simplified a bit the proof changeset | files
2011-02-10 urbanc more things changeset | files
2011-02-10 urbanc latest on the paper changeset | files
2011-02-10 urbanc more on the paper changeset | files
2011-02-10 urbanc more on paper changeset | files
2011-02-09 urbanc added Xingyuan's changes with the while combinator changeset | files
2011-02-09 urbanc added an example changeset | files
2011-02-09 urbanc a bit more on the paper changeset | files
2011-02-09 urbanc added something about Setalt and folds changeset | files
2011-02-09 urbanc deleted the non_empty invariant changeset | files
2011-02-09 urbanc tuned comments and names in Myhill_1 changeset | files
2011-02-09 urbanc separated the definition of folds into a separate file changeset | files
2011-02-09 urbanc saved a copy of the current Myhill for reference changeset | files
2011-02-08 urbanc a bit more on the paper changeset | files
2011-02-08 urbanc added coments about functions changeset | files
2011-02-08 urbanc more direct definitions changeset | files
2011-02-08 urbanc deleted lam_of changeset | files
2011-02-08 urbanc started to define things more directly changeset | files
2011-02-08 zhang More explaination on equational system changeset | files
2011-02-08 urbanc small additions changeset | files
2011-02-08 urbanc added an abbreviation for folds ALT NULL changeset | files
2011-02-07 urbanc parts of the 3 section changeset | files
2011-02-07 urbanc added bib-file changeset | files
(0) -100 -60 +60 +100 tip
regexp