| Mon, 10 Jul 2023 14:32:48 +0100 | Chengsong | more explanation for the name "closed form" and their intuition | file | diff | annotate |
| Mon, 10 Jul 2023 01:53:32 +0100 | Chengsong | more | file | diff | annotate |
| Mon, 10 Jul 2023 01:51:46 +0100 | Chengsong | overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms" | file | diff | annotate |
| Mon, 10 Jul 2023 01:33:45 +0100 | Chengsong | addresses Gerog "N_r meaning and relation with backtracking?" comment | file | diff | annotate |
| Mon, 10 Jul 2023 00:44:45 +0100 | Chengsong | Addressed Gerog "can't understand 'erase messes with structure'" comment | 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 |
| Thu, 17 Nov 2022 23:13:57 +0000 | Chengsong | section reorganising, related work | file | diff | annotate |
| Sat, 12 Nov 2022 21:34:40 +0000 | Chengsong | all comments incorporated!!+related work | file | diff | annotate |
| Mon, 07 Nov 2022 21:31:07 +0000 | Chengsong | chap6 almost done | file | diff | annotate |
| Sun, 06 Nov 2022 23:05:47 +0000 | Chengsong | chapter 5 finished!! | file | diff | annotate |
| Wed, 12 Oct 2022 14:08:06 +0100 | Chengsong | reorder | file | diff | annotate |
| Wed, 12 Oct 2022 14:01:33 +0100 | Chengsong | chap5 | file | diff | annotate |
| Tue, 04 Oct 2022 00:25:09 +0100 | Chengsong | more | file | diff | annotate |
| Mon, 03 Oct 2022 13:32:25 +0100 | Chengsong | data files | file | diff | annotate |
| Mon, 03 Oct 2022 02:08:49 +0100 | Chengsong | chap1 totally done | file | diff | annotate |
| Thu, 22 Sep 2022 00:31:09 +0100 | Chengsong | more | file | diff | annotate |
| Sat, 03 Sep 2022 00:14:20 +0100 | Chengsong | more chap 56 | file | diff | annotate |
| Fri, 02 Sep 2022 19:35:55 +0100 | Chengsong | more | file | diff | annotate |
| Fri, 02 Sep 2022 19:18:50 +0100 | Chengsong | more | file | diff | annotate |
| Fri, 02 Sep 2022 11:06:26 +0100 | Chengsong | more chap5 | file | diff | annotate |
| Thu, 01 Sep 2022 23:47:37 +0100 | Chengsong | more polishing integrated comments chap2 | file | diff | annotate |
| Wed, 31 Aug 2022 23:57:42 +0100 | Chengsong | more chap5 and chap6 bsimp_idem | file | diff | annotate |
| Sun, 14 Aug 2022 09:44:27 +0100 | Chengsong | thesis chap2 | file | diff | annotate |
| Fri, 12 Aug 2022 00:39:23 +0100 | Chengsong | thesis chap5 | file | diff | annotate |
| Wed, 13 Jul 2022 08:27:28 +0100 | Chengsong | more | file | diff | annotate |
| Tue, 05 Jul 2022 00:42:06 +0100 | Chengsong | more | file | diff | annotate |
| Mon, 04 Jul 2022 13:15:18 +0100 | Chengsong | more done | file | diff | annotate |
| Mon, 04 Jul 2022 12:43:03 +0100 | Chengsong | data | file | diff | annotate |
| Mon, 04 Jul 2022 12:27:13 +0100 | Chengsong | haha | file | diff | annotate |
| Fri, 01 Jul 2022 13:02:15 +0100 | Chengsong | more changes | file | diff | annotate |
| Wed, 29 Jun 2022 12:38:05 +0100 | Chengsong | hello | file | diff | annotate |
| Tue, 28 Jun 2022 21:07:42 +0100 | Chengsong | more | file | diff | annotate |
| Sun, 26 Jun 2022 22:22:47 +0100 | Chengsong | more | file | diff | annotate |
| Fri, 24 Jun 2022 21:49:23 +0100 | Chengsong | more changes | file | diff | annotate |
| Thu, 23 Jun 2022 16:09:40 +0100 | Chengsong | thesis_thys | file | diff | annotate |
| Fri, 03 Jun 2022 16:45:30 +0100 | Chengsong | restructured | file | diff | annotate |