Wed, 12 Jul 2017 19:24:28 +0200Sigh. Fix the pointer default tip
charles [Wed, 12 Jul 2017 19:24:28 +0200] rev 224
Sigh. Fix the pointer

Wed, 12 Jul 2017 19:19:59 +0200note the move to github, replace document with a stub and pointer
charles [Wed, 12 Jul 2017 19:19:59 +0200] rev 223
note the move to github, replace document with a stub and pointer

Fri, 06 Jan 2017 09:53:51 -0500Fix some validation errors
RSwick [Fri, 06 Jan 2017 09:53:51 -0500] rev 222
Fix some validation errors

Sat, 24 Dec 2016 21:52:00 +0100Update for a couple of editorial tweaks
charles [Sat, 24 Dec 2016 21:52:00 +0100] rev 221
Update for a couple of editorial tweaks

Sat, 24 Dec 2016 21:49:55 +0100Editorial things I had forgotten twice :( Thanks David for picking them up, and David for picking up that I had missed them.
charles [Sat, 24 Dec 2016 21:49:55 +0100] rev 220
Editorial things I had forgotten twice :( Thanks David for picking them up, and David for picking up that I had missed them.

Sat, 24 Dec 2016 00:58:22 +0100Add diff
charles [Sat, 24 Dec 2016 00:58:22 +0100] rev 219
Add diff

Sat, 24 Dec 2016 00:50:21 +0100Update status
charles [Sat, 24 Dec 2016 00:50:21 +0100] rev 218
Update status

Sun, 18 Dec 2016 19:19:59 +0100Additional missing comma etc identified by dsinger (thank you)
charles [Sun, 18 Dec 2016 19:19:59 +0100] rev 217
Additional missing comma etc identified by dsinger (thank you)

Fri, 16 Dec 2016 20:23:15 +0100Added diff from the current version
charles [Fri, 16 Dec 2016 20:23:15 +0100] rev 216
Added diff from the current version

Fri, 16 Dec 2016 17:11:17 +0100Update status for new editor's draft.
charles [Fri, 16 Dec 2016 17:11:17 +0100] rev 215
Update status for new editor's draft.