Good day, and welcome to the site, :)
If you are referring to the short month names (Jan, Feb, etc) I used the php's DateTime->Format('Y M d') to generate the short month name. I just now modified the applicable history templates to use the short month phrases...