regexp: Shortlog

Mercurial Mercurial > hg > regexp / shortlog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -100 -50 -30 +30 +50 +100 tip

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

(0) -100 -50 -30 +30 +50 +100 tip

regexp