Mercurial Mercurial > hg > regexp / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -128 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2012-02-13 urbanc more conclusion changeset | files
2012-02-13 urbanc more conclusion changeset | files
2012-02-13 urbanc more conclusion changeset | files
2012-02-13 urbanc more conclusion changeset | files
2012-02-13 urbanc some parts of the conclusion changeset | files
2012-02-13 urbanc proof idea changeset | files
2012-02-13 urbanc added implementation section changeset | files
2012-02-13 urbanc merged Xingyuan's changes changeset | files
2012-02-13 urbanc polished changeset | files
2012-02-13 urbanc more on the paper changeset | files
2012-02-13 urbanc more on the paper changeset | files
2012-02-13 urbanc assumptions changeset | files
2012-02-13 urbanc some polishing changeset | files
2012-02-12 urbanc some polishing changeset | files
2012-02-12 urbanc contribution section changeset | files
2012-02-12 zhang Correct a mistake. changeset | files
2012-02-12 zhang runing_inversion_3 added. changeset | files
2012-02-12 urbanc lates changeset | files
2012-02-12 urbanc correct RAG changeset | files
2012-02-12 urbanc small polishing changeset | files
2012-02-12 urbanc completed model section; vt has only state as argument changeset | files
2012-02-11 urbanc added picture changeset | files
2012-02-11 urbanc spell check; release changeset | files
2012-02-11 urbanc fixed problem with back changeset | files
2012-02-11 urbanc renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun changeset | files
2012-02-11 urbanc some polishing changeset | files
2012-02-11 urbanc fixed problem with Latexsugar changeset | files
2012-02-10 urbanc more on paper; modified schs functions; it is still compatible with the old definition changeset | files
2012-02-10 urbanc more on paper changeset | files
2012-02-09 urbanc attempt to fix problem by Xingyuan changeset | files
2012-02-09 urbanc changes by Xingyuan changeset | files
2012-02-09 urbanc more on the specification section changeset | files
2012-02-08 urbanc corrections by Xingyuan changeset | files
2012-02-07 urbanc more on paper changeset | files
2012-02-07 urbanc more on paper changeset | files
2012-02-06 urbanc paper updatated changeset | files
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
2011-09-01 urbanc included Higman's lemma from the Isabelle repository changeset | files
2011-09-01 urbanc solved the SUBSEQ/SUPSEQ problem changeset | files
2011-08-30 urbanc added a further test changeset | files
2011-08-26 urbanc corrected typo changeset | files
2011-08-26 urbanc added a few points changeset | files
2011-08-25 urbanc a few bits on the journal paper changeset | files
2011-08-25 urbanc shown slides changeset | files
2011-08-25 urbanc final polishing changeset | files
2011-08-24 urbanc added pdf of slides changeset | files
2011-08-24 urbanc final slides changeset | files
2011-08-24 urbanc more slides changeset | files
2011-08-24 urbanc more on slides changeset | files
2011-08-24 urbanc just test changeset | files
2011-08-23 urbanc added test for Higman's lemma changeset | files
2011-08-23 urbanc more on slides changeset | files
2011-08-23 urbanc more on the slides changeset | files
2011-08-23 urbanc more on the slides changeset | files
2011-08-23 urbanc forgotten file changeset | files
2011-08-23 urbanc beginnig of the slides (not yet finished) changeset | files
2011-08-22 urbanc changes according to afp-submission changeset | files
2011-08-19 urbanc two more literature changeset | files
2011-08-19 urbanc added comments by Xingyuan changeset | files
2011-08-17 urbanc added an example for non-regularity and continuation lemma (the example does not yet work) changeset | files
2011-08-17 urbanc a little tuning changeset | files
2011-08-16 urbanc final(?) version of the paper changeset | files
2011-08-15 urbanc a bit more polishing changeset | files
2011-08-15 urbanc polishing of the closure section and conclusion changeset | files
2011-08-12 urbanc small typo changeset | files
2011-08-11 urbanc some typos changeset | files
2011-08-11 urbanc finished section about derivatives and closure properties changeset | files
2011-08-11 urbanc two interesting papers changeset | files
2011-08-11 urbanc slight polishing changeset | files
(0) -128 tip
regexp