Mercurial
Mercurial
>
hg
>
regexp
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-14
+14
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Wed, 24 Aug 2011 22:18:54 +0000
final slides
changeset
urbanc [Wed, 24 Aug 2011 22:18:54 +0000] rev 213
final slides
Wed, 24 Aug 2011 10:01:24 +0000
more slides
changeset
urbanc [Wed, 24 Aug 2011 10:01:24 +0000] rev 212
more slides
Wed, 24 Aug 2011 08:03:42 +0000
more on slides
changeset
urbanc [Wed, 24 Aug 2011 08:03:42 +0000] rev 211
more on slides
Wed, 24 Aug 2011 07:24:22 +0000
just test
changeset
urbanc [Wed, 24 Aug 2011 07:24:22 +0000] rev 210
just test
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
-14
+14
+100
tip