|
Chapter 1
|
Migrated Pl element
|
2021-06-13 18:04:57 +01:00 |
|
Chapter 2
|
Simplified, and also complicated, default values
|
2021-05-16 11:37:28 +01:00 |
|
Chapter 3
|
Migrated Ar element
|
2021-06-12 16:30:21 +01:00 |
|
Chapter 4
|
Made kinds synoptic
|
2021-05-03 14:39:21 +01:00 |
|
Chapter 6
|
Tidying up
|
2021-06-16 22:34:33 +01:00 |
|
Contents.w
|
Began migrating Ch
|
2021-06-13 22:29:31 +01:00 |
