Mercurial
Mercurial
>
hg
>
regexp
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-50
-30
+30
+50
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
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