Mercurial
Mercurial
>
hg
>
nominal2
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-1000
-300
-100
-15
+15
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Wed, 16 Jun 2010 03:47:38 +0100
tuned
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 03:47:38 +0100] rev 2276
tuned
Wed, 16 Jun 2010 03:44:10 +0100
finished section 4, but put some things I do not understand on comment
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 03:44:10 +0100] rev 2275
finished section 4, but put some things I do not understand on comment
Wed, 16 Jun 2010 02:55:52 +0100
4 almost finished
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 02:55:52 +0100] rev 2274
4 almost finished
Tue, 15 Jun 2010 22:25:03 +0200
cleaned up definitions
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 22:25:03 +0200] rev 2273
cleaned up definitions
Tue, 15 Jun 2010 12:00:03 +0200
merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 12:00:03 +0200] rev 2272
merge
Tue, 15 Jun 2010 11:59:16 +0200
qpaper/Rewrite section5
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 11:59:16 +0200] rev 2271
qpaper/Rewrite section5
Tue, 15 Jun 2010 09:44:16 +0200
merged
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 09:44:16 +0200] rev 2270
merged
Tue, 15 Jun 2010 08:56:13 +0200
tuned everytinh up to section 4
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 08:56:13 +0200] rev 2269
tuned everytinh up to section 4
Tue, 15 Jun 2010 10:08:12 +0200
Definition of Respects.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 10:08:12 +0200] rev 2268
Definition of Respects.
Tue, 15 Jun 2010 09:22:38 +0200
conclusion
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 09:22:38 +0200] rev 2267
conclusion
Tue, 15 Jun 2010 09:12:54 +0200
Qpaper / Clarify the typing system and composition of quotients issue.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 09:12:54 +0200] rev 2266
Qpaper / Clarify the typing system and composition of quotients issue.
Tue, 15 Jun 2010 07:58:33 +0200
Remove only reference to 'equivp'.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 07:58:33 +0200] rev 2265
Remove only reference to 'equivp'.
Tue, 15 Jun 2010 07:54:30 +0200
merge
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 07:54:30 +0200] rev 2264
merge
Tue, 15 Jun 2010 07:52:42 +0200
qpaper/ackno
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 07:52:42 +0200] rev 2263
qpaper/ackno
Tue, 15 Jun 2010 06:50:33 +0200
tuned
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 06:50:33 +0200] rev 2262
tuned
(0)
-1000
-300
-100
-15
+15
+100
+300
tip