Formatting dates in std.datetime?

[H. S. Teoh]

Is there a way to format std.datetime.Date objects with a custom format
string? In particular, I'd like to reuse month short names defined in
std.datetime, but it appears that the names are private. I'd really
rather not duplicate them by hand, if there's a way to get them.

Alternatively, if there's a date formatting function that lets you use
strftime-like format strings, that would work too.


T

-- 
Век живи - век учись. А дураком помрёшь.