Sun, 30 Jun 2019 19:54:04 +0100 Chengsong changed file name to ninems
Sun, 30 Jun 2019 19:47:18 +0100 Chengsong augmented the ecoop paper to make it more like a 9m report. still continuing to update.
Sat, 29 Jun 2019 12:28:49 +0100 Chengsong created folder for 9mth report
Sat, 29 Jun 2019 12:15:17 +0100 Chengsong footnote
Fri, 28 Jun 2019 12:40:58 +0100 Christian Urban initial version
Wed, 26 Jun 2019 21:40:33 +0100 Christian Urban fixed latex bug
Wed, 26 Jun 2019 17:15:48 +0100 Chengsong easy changes, url to misc, author info format changing, mysterious bug on line 49
Wed, 26 Jun 2019 16:08:49 +0100 Chengsong delete data unnecessary
(0) -10 -8 +8 +10 +30 +100 tip