http://www.soundonsound.com/sos/nov14/articles/proms.htm
An extensive write up on how the BBC is rigging for broadcasting this concert series, including microphone rigs, for the broadcast and recordings.
They're using the seriously good stuff ; DPA, Schoeps, Neumann.