log

age author description
Mon, 12 May 2025 20:05:02 +0100 Henry Thompson early draft, as circulated
Tue, 29 Apr 2025 15:47:02 +0100 Henry S. Thompson merge
Tue, 29 Apr 2025 15:46:28 +0100 Henry S. Thompson rough
Tue, 22 Apr 2025 18:48:01 +0100 Henry S Thompson (near?) final
Tue, 22 Apr 2025 15:21:19 +0100 Henry Thompson hacked into shape
Tue, 22 Apr 2025 15:03:12 +0100 Henry S Thompson slightly broken version