Mercurial
Mercurial
>
hg
>
cst_tests
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-50
-32
+32
+50
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Fri, 10 Jan 2020 17:01:21 +0000
forget
changeset
Chengsong [Fri, 10 Jan 2020 17:01:21 +0000] rev 98
forget
Fri, 10 Jan 2020 16:59:08 +0000
delete
changeset
Chengsong [Fri, 10 Jan 2020 16:59:08 +0000] rev 97
delete
Fri, 10 Jan 2020 16:16:59 +0000
removed sth
changeset
Chengsong [Fri, 10 Jan 2020 16:16:59 +0000] rev 96
removed sth
Fri, 10 Jan 2020 13:03:37 +0000
updte1
changeset
Chengsong [Fri, 10 Jan 2020 13:03:37 +0000] rev 95
updte1
Thu, 09 Jan 2020 22:21:04 +0000
add
changeset
Chengsong [Thu, 09 Jan 2020 22:21:04 +0000] rev 94
add
Thu, 09 Jan 2020 22:20:09 +0000
h
changeset
Chengsong [Thu, 09 Jan 2020 22:20:09 +0000] rev 93
h
Wed, 27 Nov 2019 14:15:00 +0000
ders2
changeset
Chengsong [Wed, 27 Nov 2019 14:15:00 +0000] rev 92
ders2
Mon, 11 Nov 2019 17:37:24 +0000
got it
changeset
Chengsong [Mon, 11 Nov 2019 17:37:24 +0000] rev 91
got it
Thu, 22 Aug 2019 12:44:48 +0200
deleted .DS_Store
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 22 Aug 2019 12:44:48 +0200] rev 90
deleted .DS_Store
Thu, 22 Aug 2019 09:38:18 +0100
counterexample
changeset
Chengsong [Thu, 22 Aug 2019 09:38:18 +0100] rev 89
counterexample
Sun, 18 Aug 2019 22:21:01 +0100
label fix
changeset
Chengsong [Sun, 18 Aug 2019 22:21:01 +0100] rev 88
label fix
Sun, 18 Aug 2019 22:19:46 +0100
changes to report
changeset
Chengsong [Sun, 18 Aug 2019 22:19:46 +0100] rev 87
changes to report
Thu, 25 Jul 2019 21:02:06 +0100
final changes
changeset
Chengsong [Thu, 25 Jul 2019 21:02:06 +0100] rev 86
final changes
Thu, 25 Jul 2019 12:59:07 +0100
in case no wifi
changeset
Chengsong [Thu, 25 Jul 2019 12:59:07 +0100] rev 85
in case no wifi
Thu, 25 Jul 2019 11:46:06 +0100
proof-read
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 25 Jul 2019 11:46:06 +0100] rev 84
proof-read
Wed, 24 Jul 2019 20:37:40 +0100
updated
changeset
Christian Urban <urbanc@in.tum.de> [Wed, 24 Jul 2019 20:37:40 +0100] rev 83
updated
Wed, 24 Jul 2019 12:19:46 +0100
addressed comments, did improvements from page 14 and on
changeset
Chengsong [Wed, 24 Jul 2019 12:19:46 +0100] rev 82
addressed comments, did improvements from page 14 and on
Tue, 23 Jul 2019 21:54:13 +0100
updated and added comments
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 23 Jul 2019 21:54:13 +0100] rev 81
updated and added comments
Tue, 23 Jul 2019 09:26:22 +0100
addressed all comments.
changeset
Chengsong [Tue, 23 Jul 2019 09:26:22 +0100] rev 80
addressed all comments.
Mon, 22 Jul 2019 23:01:00 +0100
works on the part that christian did not read
changeset
Chengsong [Mon, 22 Jul 2019 23:01:00 +0100] rev 79
works on the part that christian did not read will continue tomorrow morning
Mon, 22 Jul 2019 22:30:47 +0100
proof of big lemma
changeset
Chengsong [Mon, 22 Jul 2019 22:30:47 +0100] rev 78
proof of big lemma
Thu, 18 Jul 2019 15:06:50 +0100
proof-read
changeset
Christian Urban <urbanc@in.tum.de> [Thu, 18 Jul 2019 15:06:50 +0100] rev 77
proof-read
Tue, 16 Jul 2019 22:20:11 +0100
merged
changeset
Chengsong [Tue, 16 Jul 2019 22:20:11 +0100] rev 76
merged
Tue, 16 Jul 2019 22:18:18 +0100
added the cloudfare eg.
changeset
Chengsong [Tue, 16 Jul 2019 22:18:18 +0100] rev 75
added the cloudfare eg.
Mon, 15 Jul 2019 10:46:50 +0100
just a merge - no changes
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 15 Jul 2019 10:46:50 +0100] rev 74
just a merge - no changes
Sat, 13 Jul 2019 22:56:31 +0100
proof details
changeset
Chengsong [Sat, 13 Jul 2019 22:56:31 +0100] rev 73
proof details
Wed, 10 Jul 2019 23:16:14 +0100
interesting?
changeset
Chengsong [Wed, 10 Jul 2019 23:16:14 +0100] rev 72
interesting?
Mon, 08 Jul 2019 21:21:54 +0100
new changes?
changeset
Chengsong [Mon, 08 Jul 2019 21:21:54 +0100] rev 71
new changes?
Mon, 08 Jul 2019 11:10:32 +0100
more proofreading
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 08 Jul 2019 11:10:32 +0100] rev 70
more proofreading
Sun, 07 Jul 2019 22:23:35 +0100
tiny
changeset
Chengsong [Sun, 07 Jul 2019 22:23:35 +0100] rev 69
tiny
Sun, 07 Jul 2019 22:22:18 +0100
more upd
changeset
Chengsong [Sun, 07 Jul 2019 22:22:18 +0100] rev 68
more upd
Sun, 07 Jul 2019 22:18:24 +0100
anotehr update
changeset
Chengsong [Sun, 07 Jul 2019 22:18:24 +0100] rev 67
anotehr update
(0)
-50
-32
+32
+50
tip