I see from surfing around there's been an update for the MDK available 'sometime last week'; to version 3.14.
I've seen a 3.12, but this seems to be for the Chinese market.
Nothing visible on the Keil website (that I've seen).
Anyone able to shed some light on it?
You will find it in Luminary demo board CDs