| Tue, 25 Jul 2023 17:28:29 +0100 | Chengsong | added example of how inj and lexer works | file | diff | annotate |
| Sun, 09 Jul 2023 00:29:02 +0100 | Chengsong | Fixed some annotated/unannotated a/r notation inconsistencies. | file | diff | annotate |
| Thu, 29 Jun 2023 04:17:48 +0100 | Chengsong | more updates in section 4.2 and incorporating Christian comments | file | diff | annotate |
| Sun, 18 Jun 2023 17:54:52 +0100 | Chengsong | more | file | diff | annotate |
| Fri, 30 Dec 2022 23:41:44 +0000 | Chengsong | more proofreading done, last version before submission | file | diff | annotate |
| Fri, 30 Dec 2022 17:37:51 +0000 | Chengsong | until chap 7 | file | diff | annotate |
| Fri, 30 Dec 2022 01:52:32 +0000 | Chengsong | comments till chap4 | file | diff | annotate |
| Sat, 12 Nov 2022 21:34:40 +0000 | Chengsong | all comments incorporated!!+related work | file | diff | annotate |
| Fri, 11 Nov 2022 00:23:53 +0000 | Chengsong | incorporated more comments, bib | file | diff | annotate |
| Sat, 27 Aug 2022 00:37:03 +0100 | Chengsong | chap4 more | file | diff | annotate |
| Mon, 22 Aug 2022 17:58:29 +0100 | Chengsong | chap3 done | file | diff | annotate |
| Sat, 20 Aug 2022 23:49:17 +0100 | Chengsong | chap3 almost done | file | diff | annotate |
| Wed, 17 Aug 2022 22:59:15 +0100 | Chengsong | halfway chap3 | file | diff | annotate |
| Wed, 17 Aug 2022 01:09:13 +0100 | Chengsong | more chap3 | file | diff | annotate |
| Fri, 12 Aug 2022 00:39:23 +0100 | Chengsong | thesis chap5 | file | diff | annotate |
| Tue, 02 Aug 2022 22:11:22 +0100 | Chengsong | more | file | diff | annotate |
| Wed, 13 Jul 2022 08:27:28 +0100 | Chengsong | more | file | diff | annotate |
| Thu, 23 Jun 2022 16:09:40 +0100 | Chengsong | thesis_thys | file | diff | annotate |
| Tue, 14 Jun 2022 18:06:33 +0100 | Chengsong | chapter3 finished | file | diff | annotate |
| Thu, 09 Jun 2022 12:57:53 +0100 | Chengsong | intro and chap2 | file | diff | annotate |
| Mon, 06 Jun 2022 23:17:45 +0100 | Chengsong | more | file | diff | annotate |
| Mon, 06 Jun 2022 16:45:42 +0100 | Chengsong | comments addressed all | file | diff | annotate |
| Fri, 03 Jun 2022 16:45:30 +0100 | Chengsong | restructured | file | diff | annotate |