Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 21 Jun 2010 00:45:27 +0100 added a few points that need to be looked at the next version of the qpaper
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 21 Jun 2010 00:45:27 +0100] rev 2286
added a few points that need to be looked at the next version of the qpaper
Mon, 21 Jun 2010 00:36:17 +0100 eliminated a quot_thm flag
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 21 Jun 2010 00:36:17 +0100] rev 2285
eliminated a quot_thm flag
Sun, 20 Jun 2010 02:37:58 +0100 fixed example
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 20 Jun 2010 02:37:58 +0100] rev 2284
fixed example
Sun, 20 Jun 2010 02:37:44 +0100 small addition to the acknowledgement
changeset
Christian Urban <urbanc@in.tum.de> [Sun, 20 Jun 2010 02:37:44 +0100] rev 2283
small addition to the acknowledgement
Thu, 17 Jun 2010 09:25:44 +0200 qpaper / address FIXMEs.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Jun 2010 09:25:44 +0200] rev 2282
qpaper / address FIXMEs.
Thu, 17 Jun 2010 07:37:26 +0200 forgot to save
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Jun 2010 07:37:26 +0200] rev 2281
forgot to save
Thu, 17 Jun 2010 07:34:29 +0200 Fix regularization. Two "FIXME" left in introduction. Minor spellings.
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Jun 2010 07:34:29 +0200] rev 2280
Fix regularization. Two "FIXME" left in introduction. Minor spellings.
Thu, 17 Jun 2010 00:27:57 +0100 polished everything and submitted
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 17 Jun 2010 00:27:57 +0100] rev 2279
polished everything and submitted
Wed, 16 Jun 2010 22:29:42 +0100 conclusion done
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 22:29:42 +0100] rev 2278
conclusion done
Wed, 16 Jun 2010 14:26:23 +0200 Answer questions in comments
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 16 Jun 2010 14:26:23 +0200] rev 2277
Answer questions in comments
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
Tue, 15 Jun 2010 06:35:57 +0200 qpaper
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 06:35:57 +0200] rev 2261
qpaper
Tue, 15 Jun 2010 05:43:21 +0200 qpaper / hol4
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 05:43:21 +0200] rev 2260
qpaper / hol4
Tue, 15 Jun 2010 05:32:50 +0200 qpaper/related work
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 15 Jun 2010 05:32:50 +0200] rev 2259
qpaper/related work
Tue, 15 Jun 2010 02:03:18 +0200 finished preliminary section
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 15 Jun 2010 02:03:18 +0200] rev 2258
finished preliminary section
Mon, 14 Jun 2010 19:03:34 +0200 typo
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 14 Jun 2010 19:03:34 +0200] rev 2257
typo
(0) -1000 -300 -100 -50 -30 +30 +50 +100 +300 tip
nominal2