Mercurial
Mercurial
>
hg
>
cst_tests
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-50
-30
+30
+50
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
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
Sun, 07 Jul 2019 22:09:24 +0100
good to proofread
changeset
Chengsong [Sun, 07 Jul 2019 22:09:24 +0100] rev 66
good to proofread
Sun, 07 Jul 2019 21:38:35 +0100
moew changes
changeset
Chengsong [Sun, 07 Jul 2019 21:38:35 +0100] rev 65
moew changes
Sun, 07 Jul 2019 18:43:13 +0100
some changes
changeset
Chengsong [Sun, 07 Jul 2019 18:43:13 +0100] rev 64
some changes
Sat, 06 Jul 2019 23:34:27 +0100
more proof-reading
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 06 Jul 2019 23:34:27 +0100] rev 63
more proof-reading
Sat, 06 Jul 2019 21:09:45 +0100
spellcheck
changeset
Christian Urban <urbanc@in.tum.de> [Sat, 06 Jul 2019 21:09:45 +0100] rev 62
spellcheck
Sat, 06 Jul 2019 20:34:41 +0100
hi finished
changeset
Chengsong [Sat, 06 Jul 2019 20:34:41 +0100] rev 61
hi finished
Sat, 06 Jul 2019 20:16:20 +0100
sorry not all done, need a few more mins for last few changes
changeset
Chengsong [Sat, 06 Jul 2019 20:16:20 +0100] rev 60
sorry not all done, need a few more mins for last few changes
Sat, 06 Jul 2019 19:48:20 +0100
changes1
changeset
Chengsong [Sat, 06 Jul 2019 19:48:20 +0100] rev 59
changes1
Fri, 05 Jul 2019 23:46:25 +0100
proofread
changeset
Christian Urban <urbanc@in.tum.de> [Fri, 05 Jul 2019 23:46:25 +0100] rev 58
proofread
Fri, 05 Jul 2019 21:20:47 +0100
h
changeset
Chengsong [Fri, 05 Jul 2019 21:20:47 +0100] rev 57
h
Fri, 05 Jul 2019 21:11:21 +0100
comprehension
changeset
Chengsong [Fri, 05 Jul 2019 21:11:21 +0100] rev 56
comprehension
Fri, 05 Jul 2019 21:00:40 +0100
some minor changes
changeset
Chengsong [Fri, 05 Jul 2019 21:00:40 +0100] rev 55
some minor changes
Fri, 05 Jul 2019 18:01:26 +0100
minor changes
changeset
Chengsong [Fri, 05 Jul 2019 18:01:26 +0100] rev 54
minor changes
Fri, 05 Jul 2019 17:49:54 +0100
readable version
changeset
Chengsong [Fri, 05 Jul 2019 17:49:54 +0100] rev 53
readable version
Fri, 05 Jul 2019 16:54:25 +0100
just in case of some accidents from erasing my work
changeset
Chengsong [Fri, 05 Jul 2019 16:54:25 +0100] rev 52
just in case of some accidents from erasing my work
Thu, 04 Jul 2019 23:39:49 +0100
added mkeps and pder, still have not proof read it
changeset
Chengsong [Thu, 04 Jul 2019 23:39:49 +0100] rev 51
added mkeps and pder, still have not proof read it
Thu, 04 Jul 2019 23:27:32 +0100
now will compile
changeset
Chengsong [Thu, 04 Jul 2019 23:27:32 +0100] rev 50
now will compile
Thu, 04 Jul 2019 23:20:00 +0100
still wont comiple hhh
changeset
Chengsong [Thu, 04 Jul 2019 23:20:00 +0100] rev 49
still wont comiple hhh
(0)
-50
-30
+30
+50
tip