2019-07-25 |
Christian Urban |
proof-read
|
changeset |
files
|
2019-07-24 |
Christian Urban |
updated
|
changeset |
files
|
2019-07-24 |
Chengsong |
addressed comments, did improvements from page 14 and on
|
changeset |
files
|
2019-07-23 |
Christian Urban |
updated and added comments
|
changeset |
files
|
2019-07-23 |
Chengsong |
addressed all comments.
|
changeset |
files
|
2019-07-22 |
Chengsong |
works on the part that christian did not read
|
changeset |
files
|
2019-07-22 |
Chengsong |
proof of big lemma
|
changeset |
files
|
2019-07-18 |
Christian Urban |
proof-read
|
changeset |
files
|
2019-07-16 |
Chengsong |
merged
|
changeset |
files
|
2019-07-16 |
Chengsong |
added the cloudfare eg.
|
changeset |
files
|
2019-07-15 |
Christian Urban |
just a merge - no changes
|
changeset |
files
|
2019-07-13 |
Chengsong |
proof details
|
changeset |
files
|
2019-07-10 |
Chengsong |
interesting?
|
changeset |
files
|
2019-07-08 |
Chengsong |
new changes?
|
changeset |
files
|
2019-07-08 |
Christian Urban |
more proofreading
|
changeset |
files
|
2019-07-07 |
Chengsong |
tiny
|
changeset |
files
|
2019-07-07 |
Chengsong |
more upd
|
changeset |
files
|
2019-07-07 |
Chengsong |
anotehr update
|
changeset |
files
|
2019-07-07 |
Chengsong |
good to proofread
|
changeset |
files
|
2019-07-07 |
Chengsong |
moew changes
|
changeset |
files
|
2019-07-07 |
Chengsong |
some changes
|
changeset |
files
|
2019-07-06 |
Christian Urban |
more proof-reading
|
changeset |
files
|
2019-07-06 |
Christian Urban |
spellcheck
|
changeset |
files
|
2019-07-06 |
Chengsong |
hi finished
|
changeset |
files
|
2019-07-06 |
Chengsong |
sorry not all done, need a few more mins for last few changes
|
changeset |
files
|
2019-07-06 |
Chengsong |
changes1
|
changeset |
files
|
2019-07-05 |
Christian Urban |
proofread
|
changeset |
files
|
2019-07-05 |
Chengsong |
h
|
changeset |
files
|
2019-07-05 |
Chengsong |
comprehension
|
changeset |
files
|
2019-07-05 |
Chengsong |
some minor changes
|
changeset |
files
|
2019-07-05 |
Chengsong |
minor changes
|
changeset |
files
|
2019-07-05 |
Chengsong |
readable version
|
changeset |
files
|
2019-07-05 |
Chengsong |
just in case of some accidents from erasing my work
|
changeset |
files
|
2019-07-04 |
Chengsong |
added mkeps and pder, still have not proof read it
|
changeset |
files
|
2019-07-04 |
Chengsong |
now will compile
|
changeset |
files
|
2019-07-04 |
Chengsong |
still wont comiple hhh
|
changeset |
files
|
2019-07-04 |
Chengsong |
still will not compile
|
changeset |
files
|
2019-07-04 |
Chengsong |
will not compile, just text
|
changeset |
files
|
2019-07-04 |
Christian Urban |
proofread
|
changeset |
files
|
2019-07-04 |
Christian Urban |
spell check
|
changeset |
files
|
2019-07-03 |
Chengsong |
another changes. have written more. but havent typed them. tomorrow will continue.
|
changeset |
files
|
2019-07-03 |
Chengsong |
s?
|
changeset |
files
|
2019-07-03 |
Chengsong |
s
|
changeset |
files
|
2019-07-03 |
Chengsong |
example
|
changeset |
files
|
2019-07-03 |
Christian Urban |
proof reading
|
changeset |
files
|
2019-07-02 |
Chengsong |
changes
|
changeset |
files
|
2019-07-02 |
Chengsong |
half easy changes
|
changeset |
files
|
2019-07-02 |
Chengsong |
new changes
|
changeset |
files
|
2019-07-01 |
Chengsong |
chages
|
changeset |
files
|
2019-07-01 |
Chengsong |
psuedocode added
|
changeset |
files
|
2019-06-30 |
Chengsong |
hope works
|
changeset |
files
|
2019-06-30 |
Chengsong |
hope this works
|
changeset |
files
|
2019-06-30 |
Chengsong |
resolved i guess?
|
changeset |
files
|
2019-06-30 |
Chengsong |
made changes that are necessary for a successful push
|
changeset |
files
|
2019-06-30 |
Chengsong |
changed file name to ninems
|
changeset |
files
|
2019-06-30 |
Chengsong |
augmented the ecoop paper to make it more like a 9m report. still continuing to update.
|
changeset |
files
|
2019-06-29 |
Chengsong |
created folder for 9mth report
|
changeset |
files
|
2019-06-29 |
Chengsong |
footnote
|
changeset |
files
|
2019-06-28 |
Christian Urban |
initial version
|
changeset |
files
|
2019-06-26 |
Christian Urban |
fixed latex bug
|
changeset |
files
|
2019-06-26 |
Chengsong |
easy changes, url to misc, author info format changing, mysterious bug on line 49
|
changeset |
files
|
2019-06-26 |
Chengsong |
delete data unnecessary
|
changeset |
files
|
2019-06-26 |
Chengsong |
now correct
|
changeset |
files
|
2019-06-26 |
Chengsong |
added stackexchange url and contact details
|
changeset |
files
|
2019-06-25 |
Christian Urban |
another superflous file
|
changeset |
files
|
2019-06-25 |
Christian Urban |
deleted further generated files (including pdf)
|
changeset |
files
|
2019-06-25 |
Christian Urban |
deleted data-files and further unnecessary parts in data.sty
|
changeset |
files
|
2019-06-25 |
Chengsong |
hi
|
changeset |
files
|
2019-05-08 |
Chengsong |
new version of slides
|
changeset |
files
|
2019-05-05 |
Chengsong |
hello
|
changeset |
files
|
2019-04-13 |
Chengsong |
the property
|
changeset |
files
|
2019-04-12 |
Chengsong |
test of
|
changeset |
files
|
2019-04-10 |
Chengsong |
removed C(c) The retrieve and code in the previous version is still not correct and will crash. no prob now.
|
changeset |
files
|
2019-04-10 |
Chengsong |
The C(Char) construct is incompatible with the code and retrieve in Fahad's thesis.
|
changeset |
files
|
2019-03-23 |
Chengsong |
exp and proof
|
changeset |
files
|
2019-03-22 |
Chengsong |
augmented version of proof sketch
|
changeset |
files
|
2019-03-21 |
Chengsong |
pf
|
changeset |
files
|
2019-03-16 |
Chengsong |
found the difference: caused by flats
|
changeset |
files
|
2019-03-16 |
Chengsong |
random test failed
|
changeset |
files
|
2019-03-16 |
Chengsong |
correctness test with enumeration
|
changeset |
files
|
2019-03-15 |
Chengsong |
:test whether bsimp(bders(r, s)) == ders_simp(r,s)
|
changeset |
files
|
2019-03-15 |
Chengsong |
removing PRED
|
changeset |
files
|
2019-03-13 |
Chengsong |
more comments
|
changeset |
files
|
2019-03-13 |
Chengsong |
i
|
changeset |
files
|
2019-03-13 |
Chengsong |
run
|
changeset |
files
|