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