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.
 
2012-02-05 urbanc moved unused theories to Attic changeset | files
2012-02-05 zhang README added. changeset | files
2012-02-04 urbanc updated changeset | files
2012-02-04 urbanc slight polishing changeset | files
2012-02-03 urbanc a bit more on the introduction changeset | files
2012-02-02 urbanc slight tuning changeset | files
2012-02-01 urbanc more on intro changeset | files
2012-02-01 urbanc more on intro changeset | files
2012-02-01 urbanc more on intro changeset | files
2012-02-01 urbanc slightly more on text changeset | files
2012-02-01 zhang All comments added. changeset | files
2012-01-30 urbanc spell check changeset | files
2012-01-30 urbanc slight polishing changeset | files
2012-01-30 urbanc more text changeset | files
2012-01-30 urbanc more text changeset | files
2012-01-30 urbanc added two paragraphs to the introduction changeset | files
2012-01-29 zhang More explanations added by XY. changeset | files
2012-01-27 urbanc changed abstract, intro and IsaMakefile changeset | files
2012-01-27 zhang Newer version. changeset | files
2012-01-24 urbanc minor edit changeset | files
2012-01-24 urbanc initial version of the PIP formalisation changeset | files
2011-12-26 urbanc changed to 11 months changeset | files
2011-12-22 urbanc added a draft of the letter for Chunhan changeset | files
2011-12-17 urbanc updated urls to AFP changeset | files
2011-11-20 urbanc added slides for a talk in St Andrews changeset | files
2011-11-11 urbanc small change changeset | files
2011-09-15 urbanc set -> language changeset | files
2011-09-14 urbanc added a paper about applications changeset | files
2011-09-14 urbanc added paper that recently appeared about rexps and pegs changeset | files
2011-09-14 urbanc polished the non-regularity proof changeset | files
2011-09-14 urbanc clarified proof about non-regularity changeset | files
2011-09-14 urbanc corrected typo found by Xingyuan changeset | files
2011-09-13 urbanc small typo changeset | files
2011-09-12 urbanc a final polishing before submitting later this week changeset | files
2011-09-08 urbanc one more itteration on the paper changeset | files
2011-09-07 urbanc some more polishing and a link to Haines changeset | files
2011-09-07 urbanc typos changeset | files
2011-09-07 urbanc polished a bit the journal paper changeset | files
2011-09-06 urbanc typo changeset | files
2011-09-06 urbanc more tuning on the proposal changeset | files
2011-09-06 urbanc polished proposal changeset | files
2011-09-05 urbanc tuning on the derivatives and closures theories changeset | files
2011-09-05 urbanc added section about non-regularity changeset | files
2011-09-05 urbanc polished SUBSEQ changeset | files
2011-09-05 urbanc slight polishing to SUBSEQ changeset | files
2011-09-05 urbanc slight polishing to SUBSEQ changeset | files
2011-09-05 urbanc shortened changeset | files
2011-09-05 urbanc some changes changeset | files
2011-09-05 urbanc some changes changeset | files
2011-09-05 urbanc added section about SUBSEQ and SUPSEQ changeset | files
2011-09-04 zhang Proposal paragraphs by Xingyuan completed (with references added). changeset | files
2011-09-04 urbanc removed the last two sorry's changeset | files
2011-09-02 zhang More modification by Xingyuan. changeset | files
2011-09-02 zhang One passage added. changeset | files
2011-09-02 urbanc latest changes changeset | files
2011-09-02 urbanc small change changeset | files
2011-09-02 urbanc small improvement changeset | files
2011-09-02 urbanc added a start for a proposal changeset | files
2011-09-02 urbanc added example about non-regularity changeset | files
2011-09-02 urbanc cleaned up proofs changeset | files
(0) -100 -60 +60 +100 tip
regexp