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-04-23 urbanc made changes for another journal submission of the MN-paper changeset | files
2012-04-20 urbanc changes to get the files through for CU changeset | files
2012-04-20 urbanc made changes for another journal submission of the MH-paper changeset | files
2012-04-20 zhang Intuitive definition of "detached" is added to PrioG.thy. changeset | files
2012-04-17 urbanc added an acknowledgement changeset | files
2012-04-17 urbanc some small tuning changeset | files
2012-04-17 urbanc some small improvements changeset | files
2012-04-16 urbanc ???-marks changeset | files
2012-04-16 urbanc changes requested by the reviewers changeset | files
2012-04-16 urbanc polished changeset | files
2012-04-16 zhang The result for "Set" operation gets strengthened. changeset | files
2012-04-15 urbanc added some of the comments of the reviewers and made it compile with current Isabelle changeset | files
2012-04-13 urbanc made the changes thes 2nd referee suggested and made it to compile again changeset | files
2012-03-06 urbanc typo changeset | files
2012-02-28 urbanc fixed typo changeset | files
2012-02-27 urbanc typo changeset | files
2012-02-22 urbanc partially updated conference paper; slightly tuned journal paper changeset | files
2012-02-20 urbanc some polishing of the repository changeset | files
2012-02-16 urbanc one typo changeset | files
2012-02-14 urbanc changes by Xingyuan changeset | files
2012-02-14 urbanc changed changeset | files
2012-02-14 urbanc live changeset | files
2012-02-14 urbanc live changeset | files
2012-02-14 urbanc draft changeset | files
2012-02-14 urbanc draft changeset | files
2012-02-14 urbanc key lemma changeset | files
2012-02-14 urbanc fixed 1st paragraph changeset | files
2012-02-14 urbanc 1st paragraph changeset | files
2012-02-13 urbanc 1st paragraph changeset | files
2012-02-13 urbanc polished implementation changeset | files
2012-02-13 zhang Line numbers added. changeset | files
2012-02-13 urbanc conclusion done 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 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
(0) -128 tip
regexp