David Kinder 521e590618 First attempt at moving from wchar_t wide strings to 32-bit strings		2023-09-05 08:36:51 +01:00
..
Chapter 1	First attempt at moving from wchar_t wide strings to 32-bit strings	2023-09-05 08:36:51 +01:00
Chapter 2	Tidying up calculus module	2020-09-02 23:24:10 +01:00
Chapter 3	First attempt at moving from wchar_t wide strings to 32-bit strings	2023-09-05 08:36:51 +01:00
Chapter 4	First attempt at moving from wchar_t wide strings to 32-bit strings	2023-09-05 08:36:51 +01:00
Chapter 5	Changes to the room containment relation	2023-01-23 22:34:28 +00:00
Figures	Pared calculus module down to essential predicates only	2020-08-29 09:33:21 +01:00
Preliminaries	typos in services/*/*.w	2022-05-01 08:25:50 -05:00
Contents.w	Clarified sentence conversions	2021-02-03 09:32:42 +00:00