Hi,

On HTML export,  want my timestamps to display as:

Thursday, July 19

or maybe:

July 19 (Thu)

instead of the default

2012-07-19 Thu

I've tried setting org-time-stamp-custom-formats but I haven't been able to
find the documentation that explains the formatting strings.  Also I'm not
exactly sure which variables control the display of custom times on HTML
export.

thanks as always!

matt