Mercurial
Mercurial
>
hg
>
regexp
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-10
+10
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Tue, 23 Aug 2011 12:36:43 +0000
added test for Higman's lemma
changeset
urbanc [Tue, 23 Aug 2011 12:36:43 +0000] rev 209
added test for Higman's lemma
Tue, 23 Aug 2011 11:53:25 +0000
more on slides
changeset
urbanc [Tue, 23 Aug 2011 11:53:25 +0000] rev 208
more on slides
Tue, 23 Aug 2011 08:42:51 +0000
more on the slides
changeset
urbanc [Tue, 23 Aug 2011 08:42:51 +0000] rev 207
more on the slides
Tue, 23 Aug 2011 08:11:25 +0000
more on the slides
changeset
urbanc [Tue, 23 Aug 2011 08:11:25 +0000] rev 206
more on the slides
Tue, 23 Aug 2011 00:33:12 +0000
forgotten file
changeset
urbanc [Tue, 23 Aug 2011 00:33:12 +0000] rev 205
forgotten file
Tue, 23 Aug 2011 00:24:10 +0000
beginnig of the slides (not yet finished)
changeset
urbanc [Tue, 23 Aug 2011 00:24:10 +0000] rev 204
beginnig of the slides (not yet finished)
Mon, 22 Aug 2011 12:49:27 +0000
changes according to afp-submission
changeset
urbanc [Mon, 22 Aug 2011 12:49:27 +0000] rev 203
changes according to afp-submission
Fri, 19 Aug 2011 20:39:07 +0000
two more literature
changeset
urbanc [Fri, 19 Aug 2011 20:39:07 +0000] rev 202
two more literature
Fri, 19 Aug 2011 06:57:57 +0000
added comments by Xingyuan
changeset
urbanc [Fri, 19 Aug 2011 06:57:57 +0000] rev 201
added comments by Xingyuan
Wed, 17 Aug 2011 17:36:19 +0000
added an example for non-regularity and continuation lemma (the example does not yet work)
changeset
urbanc [Wed, 17 Aug 2011 17:36:19 +0000] rev 200
added an example for non-regularity and continuation lemma (the example does not yet work)
(0)
-100
-10
+10
+100
tip