| Wed, 24 Jul 2019 12:19:46 +0100 | Chengsong | addressed comments, did improvements from page 14 and on | file | diff | annotate |
| Tue, 23 Jul 2019 21:54:13 +0100 | Christian Urban | updated and added comments | file | diff | annotate |
| Tue, 23 Jul 2019 09:26:22 +0100 | Chengsong | addressed all comments. | file | diff | annotate |
| Mon, 22 Jul 2019 23:01:00 +0100 | Chengsong | works on the part that christian did not read | file | diff | annotate |
| Thu, 18 Jul 2019 15:06:50 +0100 | Christian Urban | proof-read | file | diff | annotate |
| Tue, 16 Jul 2019 22:20:11 +0100 | Chengsong | merged | file | diff | annotate |