Graham Nelson 5d4586387c Fix for Jira bug I7-2334		2023-04-22 22:47:10 +01:00
..
Chapter 1	Slightly clarified namespaces	2022-10-13 23:15:49 +01:00
Chapter 2	Fix for Jira bug I7-2334	2023-04-22 22:47:10 +01:00
Chapter 3	Further reduction in annotation use	2022-03-20 13:41:13 +00:00
Preliminaries	Fix for Jira bug I7-2334	2023-04-22 22:47:10 +01:00
Contents.w	Implemented IE-0006	2022-10-09 23:26:03 +01:00