Mercurial
Mercurial
>
hg
>
regexp
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-100
-30
-10
-6
+6
+10
+30
+100
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
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)
Wed, 17 Aug 2011 07:43:09 +0000
a little tuning
changeset
urbanc [Wed, 17 Aug 2011 07:43:09 +0000] rev 199
a little tuning
(0)
-100
-30
-10
-6
+6
+10
+30
+100
tip