2020-01-13 updated
Christian Urban <urbanc@in.tum.de> [Mon, 13 Jan 2020 14:13:47 +0000] rev 105
updated
2020-01-13 merged christian changes
Chengsong [Mon, 13 Jan 2020 16:57:13 +0000] rev 104
merged christian changes
2020-01-12 hg
Chengsong [Sun, 12 Jan 2020 22:49:23 +0000] rev 103
hg
2020-01-11 h
Chengsong [Sat, 11 Jan 2020 22:47:11 +0000] rev 102
h
2020-01-11 b
Chengsong [Sat, 11 Jan 2020 22:17:27 +0000] rev 101
b
2020-01-10 copied christian changes
Chengsong [Fri, 10 Jan 2020 22:35:08 +0000] rev 100
copied christian changes
2020-01-10 remain only tex
Chengsong [Fri, 10 Jan 2020 17:02:16 +0000] rev 99
remain only tex
2020-01-10 forget
Chengsong [Fri, 10 Jan 2020 17:01:21 +0000] rev 98
forget
2020-01-10 delete
Chengsong [Fri, 10 Jan 2020 16:59:08 +0000] rev 97
delete
2020-01-10 removed sth
Chengsong [Fri, 10 Jan 2020 16:16:59 +0000] rev 96
removed sth
2020-01-10 updte1
Chengsong [Fri, 10 Jan 2020 13:03:37 +0000] rev 95
updte1
2020-01-09 add
Chengsong [Thu, 09 Jan 2020 22:21:04 +0000] rev 94
add
2020-01-09 h
Chengsong [Thu, 09 Jan 2020 22:20:09 +0000] rev 93
h
2019-11-27 ders2
Chengsong [Wed, 27 Nov 2019 14:15:00 +0000] rev 92
ders2
2019-11-11 got it
Chengsong [Mon, 11 Nov 2019 17:37:24 +0000] rev 91
got it
2019-08-22 deleted .DS_Store
Christian Urban <urbanc@in.tum.de> [Thu, 22 Aug 2019 12:44:48 +0200] rev 90
deleted .DS_Store
2019-08-22 counterexample
Chengsong [Thu, 22 Aug 2019 09:38:18 +0100] rev 89
counterexample
2019-08-18 label fix
Chengsong [Sun, 18 Aug 2019 22:21:01 +0100] rev 88
label fix
2019-08-18 changes to report
Chengsong [Sun, 18 Aug 2019 22:19:46 +0100] rev 87
changes to report
2019-07-25 final changes
Chengsong [Thu, 25 Jul 2019 21:02:06 +0100] rev 86
final changes
2019-07-25 in case no wifi
Chengsong [Thu, 25 Jul 2019 12:59:07 +0100] rev 85
in case no wifi
2019-07-25 proof-read
Christian Urban <urbanc@in.tum.de> [Thu, 25 Jul 2019 11:46:06 +0100] rev 84
proof-read
2019-07-24 updated
Christian Urban <urbanc@in.tum.de> [Wed, 24 Jul 2019 20:37:40 +0100] rev 83
updated
2019-07-24 addressed comments, did improvements from page 14 and on
Chengsong [Wed, 24 Jul 2019 12:19:46 +0100] rev 82
addressed comments, did improvements from page 14 and on
2019-07-23 updated and added comments
Christian Urban <urbanc@in.tum.de> [Tue, 23 Jul 2019 21:54:13 +0100] rev 81
updated and added comments
2019-07-23 addressed all comments.
Chengsong [Tue, 23 Jul 2019 09:26:22 +0100] rev 80
addressed all comments.
2019-07-22 works on the part that christian did not read
Chengsong [Mon, 22 Jul 2019 23:01:00 +0100] rev 79
works on the part that christian did not read will continue tomorrow morning
2019-07-22 proof of big lemma
Chengsong [Mon, 22 Jul 2019 22:30:47 +0100] rev 78
proof of big lemma
2019-07-18 proof-read
Christian Urban <urbanc@in.tum.de> [Thu, 18 Jul 2019 15:06:50 +0100] rev 77
proof-read
2019-07-16 merged
Chengsong [Tue, 16 Jul 2019 22:20:11 +0100] rev 76
merged
2019-07-16 added the cloudfare eg.
Chengsong [Tue, 16 Jul 2019 22:18:18 +0100] rev 75
added the cloudfare eg.
2019-07-15 just a merge - no changes
Christian Urban <urbanc@in.tum.de> [Mon, 15 Jul 2019 10:46:50 +0100] rev 74
just a merge - no changes
(0) -100 -50 -32 +32 tip