Mercurial Mercurial > hg > regexp / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -48 +48 +100 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
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
2011-08-09 urbanc more on paper changeset | files
2011-08-09 urbanc more on paper and literature changeset | files
2011-08-05 urbanc added paper on partial derivatives changeset | files
2011-08-05 urbanc more on the derivatives section changeset | files
2011-08-03 urbanc added more to the derivatives section changeset | files
2011-08-03 urbanc completed the taging-function section changeset | files
2011-08-03 urbanc more on the paper changeset | files
2011-08-03 urbanc cleaned up the proofs in Myhill_2 changeset | files
2011-08-02 urbanc a version of the proof which dispenses with the notion of string-subtraction changeset | files
2011-07-31 urbanc some experiments with the proofs in Myhill_2 changeset | files
2011-07-28 urbanc added a picture changeset | files
2011-07-28 urbanc small improvements changeset | files
2011-07-28 urbanc added more examles changeset | files
2011-07-28 urbanc more one the paper changeset | files
(0) -100 -48 +48 +100 tip
regexp