Shifting meaning of "Cool Jazz"

[Rabshakeh]

A question that I feel slightly silly asking:

Prior to "Cool Jazz" coming to mean Getz / Tristano / Baker etc., was it commonly used to refer to Bebop?

The Leonard Feather 'Hot Versus Cool - A Battle Of Jazz' (1952) has Dizzy Gillespie leading the Cool Jazz All Stars (no doubt an established touring band) competing against the 'Hot' Dixieland groups.  I also noticed that some obituaries of Charlie Parker referred to him as playing cool jazz, including one paper shown in the relevant episode of the Ken Burns documentary that called Parker the "King of Cool" (I can't locate this with a Google search for some reason).