Chengsong [Sun, 16 Feb 2020 22:28:26 +0000] rev 132
backup
Chengsong [Sat, 08 Feb 2020 22:24:21 +0000] rev 131
changes
Chengsong [Sat, 08 Feb 2020 22:01:40 +0000] rev 130
i
Chengsong [Sat, 08 Feb 2020 21:57:11 +0000] rev 129
madly
Chengsong [Sat, 08 Feb 2020 21:53:06 +0000] rev 128
structuring text
Chengsong [Sat, 08 Feb 2020 21:37:20 +0000] rev 127
test
Chengsong [Sat, 08 Feb 2020 21:37:05 +0000] rev 126
forfear
Chengsong [Sat, 08 Feb 2020 21:34:50 +0000] rev 125
added a bit?
Chengsong [Thu, 06 Feb 2020 10:49:23 +0000] rev 124
afte
Chengsong [Wed, 05 Feb 2020 22:55:21 +0000] rev 123
in case
Chengsong [Wed, 05 Feb 2020 14:50:57 +0000] rev 122
version
Chengsong [Wed, 05 Feb 2020 12:41:30 +0000] rev 121
safe
Chengsong [Wed, 05 Feb 2020 12:02:21 +0000] rev 120
for fear
Chengsong [Wed, 05 Feb 2020 12:01:57 +0000] rev 119
for fear
Chengsong [Wed, 05 Feb 2020 11:54:51 +0000] rev 118
lualatex is probably the culprit
it overwrites the buffer when compiling a document sometimes
so some changes you made just now gets lost
Chengsong [Wed, 05 Feb 2020 11:27:51 +0000] rev 117
just incase
Chengsong [Wed, 05 Feb 2020 11:11:36 +0000] rev 116
just incase
Chengsong [Wed, 05 Feb 2020 10:58:13 +0000] rev 115
for secu
Chengsong [Wed, 05 Feb 2020 10:45:15 +0000] rev 114
avoid work loss
Chengsong [Fri, 24 Jan 2020 18:44:52 +0000] rev 113
test for talisker address change
Chengsong [Fri, 24 Jan 2020 09:27:03 +0000] rev 112
added section
Chengsong [Thu, 23 Jan 2020 22:49:19 +0000] rev 111
refined section a bit
Chengsong [Wed, 22 Jan 2020 22:50:38 +0000] rev 110
f
Chengsong [Mon, 20 Jan 2020 15:51:06 +0000] rev 109
format
Christian Urban <urbanc@in.tum.de> [Fri, 17 Jan 2020 23:53:08 +0000] rev 108
updated
Chengsong [Thu, 16 Jan 2020 22:34:23 +0000] rev 107
changes
Christian Urban <urbanc@in.tum.de> [Wed, 15 Jan 2020 13:01:10 +0000] rev 106
added my comments
Christian Urban <urbanc@in.tum.de> [Mon, 13 Jan 2020 14:13:47 +0000] rev 105
updated
Chengsong [Mon, 13 Jan 2020 16:57:13 +0000] rev 104
merged christian changes
Chengsong [Sun, 12 Jan 2020 22:49:23 +0000] rev 103
hg
Chengsong [Sat, 11 Jan 2020 22:47:11 +0000] rev 102
h
Chengsong [Sat, 11 Jan 2020 22:17:27 +0000] rev 101
b
Chengsong [Fri, 10 Jan 2020 22:35:08 +0000] rev 100
copied christian changes
Chengsong [Fri, 10 Jan 2020 17:02:16 +0000] rev 99
remain only tex
Chengsong [Fri, 10 Jan 2020 17:01:21 +0000] rev 98
forget
Chengsong [Fri, 10 Jan 2020 16:59:08 +0000] rev 97
delete
Chengsong [Fri, 10 Jan 2020 16:16:59 +0000] rev 96
removed sth
Chengsong [Fri, 10 Jan 2020 13:03:37 +0000] rev 95
updte1
Chengsong [Thu, 09 Jan 2020 22:21:04 +0000] rev 94
add
Chengsong [Thu, 09 Jan 2020 22:20:09 +0000] rev 93
h
Chengsong [Wed, 27 Nov 2019 14:15:00 +0000] rev 92
ders2
Chengsong [Mon, 11 Nov 2019 17:37:24 +0000] rev 91
got it
Christian Urban <urbanc@in.tum.de> [Thu, 22 Aug 2019 12:44:48 +0200] rev 90
deleted .DS_Store
Chengsong [Thu, 22 Aug 2019 09:38:18 +0100] rev 89
counterexample
Chengsong [Sun, 18 Aug 2019 22:21:01 +0100] rev 88
label fix
Chengsong [Sun, 18 Aug 2019 22:19:46 +0100] rev 87
changes to report
Chengsong [Thu, 25 Jul 2019 21:02:06 +0100] rev 86
final changes
Chengsong [Thu, 25 Jul 2019 12:59:07 +0100] rev 85
in case no wifi
Christian Urban <urbanc@in.tum.de> [Thu, 25 Jul 2019 11:46:06 +0100] rev 84
proof-read
Christian Urban <urbanc@in.tum.de> [Wed, 24 Jul 2019 20:37:40 +0100] rev 83
updated
Chengsong [Wed, 24 Jul 2019 12:19:46 +0100] rev 82
addressed comments, did improvements from page 14 and on
Christian Urban <urbanc@in.tum.de> [Tue, 23 Jul 2019 21:54:13 +0100] rev 81
updated and added comments
Chengsong [Tue, 23 Jul 2019 09:26:22 +0100] rev 80
addressed all comments.
Chengsong [Mon, 22 Jul 2019 23:01:00 +0100] rev 79
works on the part that christian did not read
will continue tomorrow morning
Chengsong [Mon, 22 Jul 2019 22:30:47 +0100] rev 78
proof of big lemma
Christian Urban <urbanc@in.tum.de> [Thu, 18 Jul 2019 15:06:50 +0100] rev 77
proof-read
Chengsong [Tue, 16 Jul 2019 22:20:11 +0100] rev 76
merged
Chengsong [Tue, 16 Jul 2019 22:18:18 +0100] rev 75
added the cloudfare eg.
Christian Urban <urbanc@in.tum.de> [Mon, 15 Jul 2019 10:46:50 +0100] rev 74
just a merge - no changes
Chengsong [Sat, 13 Jul 2019 22:56:31 +0100] rev 73
proof details
Chengsong [Wed, 10 Jul 2019 23:16:14 +0100] rev 72
interesting?
Chengsong [Mon, 08 Jul 2019 21:21:54 +0100] rev 71
new changes?
Christian Urban <urbanc@in.tum.de> [Mon, 08 Jul 2019 11:10:32 +0100] rev 70
more proofreading
Chengsong [Sun, 07 Jul 2019 22:23:35 +0100] rev 69
tiny
Chengsong [Sun, 07 Jul 2019 22:22:18 +0100] rev 68
more upd
Chengsong [Sun, 07 Jul 2019 22:18:24 +0100] rev 67
anotehr update
Chengsong [Sun, 07 Jul 2019 22:09:24 +0100] rev 66
good to proofread
Chengsong [Sun, 07 Jul 2019 21:38:35 +0100] rev 65
moew changes
Chengsong [Sun, 07 Jul 2019 18:43:13 +0100] rev 64
some changes
Christian Urban <urbanc@in.tum.de> [Sat, 06 Jul 2019 23:34:27 +0100] rev 63
more proof-reading
Christian Urban <urbanc@in.tum.de> [Sat, 06 Jul 2019 21:09:45 +0100] rev 62
spellcheck
Chengsong [Sat, 06 Jul 2019 20:34:41 +0100] rev 61
hi finished
Chengsong [Sat, 06 Jul 2019 20:16:20 +0100] rev 60
sorry not all done, need a few more mins for last few changes
Chengsong [Sat, 06 Jul 2019 19:48:20 +0100] rev 59
changes1
Christian Urban <urbanc@in.tum.de> [Fri, 05 Jul 2019 23:46:25 +0100] rev 58
proofread
Chengsong [Fri, 05 Jul 2019 21:20:47 +0100] rev 57
h
Chengsong [Fri, 05 Jul 2019 21:11:21 +0100] rev 56
comprehension
Chengsong [Fri, 05 Jul 2019 21:00:40 +0100] rev 55
some minor changes
Chengsong [Fri, 05 Jul 2019 18:01:26 +0100] rev 54
minor changes
Chengsong [Fri, 05 Jul 2019 17:49:54 +0100] rev 53
readable version
Chengsong [Fri, 05 Jul 2019 16:54:25 +0100] rev 52
just in case of some accidents from erasing my work
Chengsong [Thu, 04 Jul 2019 23:39:49 +0100] rev 51
added mkeps and pder, still have not proof read it
Chengsong [Thu, 04 Jul 2019 23:27:32 +0100] rev 50
now will compile
Chengsong [Thu, 04 Jul 2019 23:20:00 +0100] rev 49
still wont comiple hhh
Chengsong [Thu, 04 Jul 2019 22:45:02 +0100] rev 48
still will not compile
Chengsong [Thu, 04 Jul 2019 22:28:09 +0100] rev 47
will not compile, just text
Christian Urban <urbanc@in.tum.de> [Thu, 04 Jul 2019 11:04:02 +0100] rev 46
proofread
Christian Urban <urbanc@in.tum.de> [Thu, 04 Jul 2019 10:19:35 +0100] rev 45
spell check
Chengsong [Wed, 03 Jul 2019 23:02:48 +0100] rev 44
another changes. have written more. but havent typed them. tomorrow will continue.
Chengsong [Wed, 03 Jul 2019 22:39:47 +0100] rev 43
s?
Chengsong [Wed, 03 Jul 2019 22:06:47 +0100] rev 42
s
Chengsong [Wed, 03 Jul 2019 20:46:03 +0100] rev 41
example
Christian Urban <urbanc@in.tum.de> [Wed, 03 Jul 2019 09:48:42 +0100] rev 40
proof reading
Chengsong [Tue, 02 Jul 2019 22:24:27 +0100] rev 39
changes
Chengsong [Tue, 02 Jul 2019 14:01:42 +0100] rev 38
half easy changes
Chengsong [Tue, 02 Jul 2019 11:22:39 +0100] rev 37
new changes
Chengsong [Tue, 02 Jul 2019 00:14:42 +0100] rev 36
chages
Chengsong [Mon, 01 Jul 2019 23:42:39 +0100] rev 35
psuedocode added
Chengsong [Sun, 30 Jun 2019 22:23:52 +0100] rev 34
hope works
Chengsong [Sun, 30 Jun 2019 20:07:54 +0100] rev 33
hope this works
Chengsong [Sun, 30 Jun 2019 20:05:49 +0100] rev 32
resolved i guess?
Chengsong [Sun, 30 Jun 2019 19:56:04 +0100] rev 31
made changes that are necessary for a successful push
Chengsong [Sun, 30 Jun 2019 19:54:04 +0100] rev 30
changed file name to ninems
Chengsong [Sun, 30 Jun 2019 19:47:18 +0100] rev 29
augmented the ecoop paper to make it more like a 9m report. still continuing to update.
todo: will add the psuedocode for the simplification function and then briefly talk about its slowness.
Chengsong [Sat, 29 Jun 2019 12:28:49 +0100] rev 28
created folder for 9mth report
Chengsong [Sat, 29 Jun 2019 12:15:17 +0100] rev 27
footnote
Christian Urban <urbanc@in.tum.de> [Fri, 28 Jun 2019 12:40:58 +0100] rev 26
initial version
Christian Urban <urbanc@in.tum.de> [Wed, 26 Jun 2019 21:40:33 +0100] rev 25
fixed latex bug
Chengsong [Wed, 26 Jun 2019 17:15:48 +0100] rev 24
easy changes, url to misc, author info format changing, mysterious bug on line 49
Chengsong [Wed, 26 Jun 2019 16:08:49 +0100] rev 23
delete data unnecessary
Chengsong [Wed, 26 Jun 2019 16:06:58 +0100] rev 22
now correct
Chengsong [Wed, 26 Jun 2019 12:44:08 +0100] rev 21
added stackexchange url and contact details
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:59:10 +0100] rev 20
another superflous file
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 23:38:02 +0100] rev 19
deleted further generated files (including pdf)
Christian Urban <urbanc@in.tum.de> [Tue, 25 Jun 2019 22:43:21 +0100] rev 18
deleted data-files and further unnecessary parts in data.sty
Chengsong [Tue, 25 Jun 2019 18:56:52 +0100] rev 17
hi
Chengsong [Wed, 08 May 2019 22:09:59 +0100] rev 16
new version of slides
Chengsong [Sun, 05 May 2019 22:02:29 +0100] rev 15
hello
Chengsong [Sat, 13 Apr 2019 16:18:23 +0100] rev 14
the property
retrieve ar v = retrieve (bsimp ar) (decode erase(bsimp(ar)) code(v)) if |- v : r
does not hold
Chengsong [Fri, 12 Apr 2019 19:26:13 +0100] rev 13
test of
retrieve r v = retrieve (bsimp r) (decode bsimp r code v)