[Tutor] Converting month names to abbreviated form

[Gus Tabares]

Hello all,

Are there any known routines for converting month names to their
abbreviated form (i.e., December->Dec) ?

I was looking at the time module, but it didn't look very promising.


Thanks,
Gus