ok, found it in the end (tho’ it was hard going)
Michael Moncur’s plug-in does this nicely:
https://www.figby.com/archives/2005/07/20/wordpress-plugin-enhanced-post-management/
The php manual shows all the parameters you can call;
https://fr2.php.net/date
so, I adjusted Michael’s plug-in to display my dates like this:
8am
Wednesday
8th Nov
By using this in the appropriate line in his plug-in:
the_time('ga l jS M');
Cheers
Paul