uploading to pro mini 3.3v with the pro IDE

Hi there. I have just installed the arduino pro ide and i am able to upload to the boards which are included in the boards manager but the arduino mini 3.3v isnt(only 5v) and im not sure how to add it. there also doesnt seem to be the option of adding third party cores at the moment either. is it possible upload to pro mini 3.3v using the pro ide or is this something i will have to wait for in a later version? many thanks.

Sparkfun: Using the Arduino Pro Mini 3.3V

hi im not sure how that post is relevant as there is no mention of the arduino pro IDE. i have no trouble using the pro mini with the classic arduino IDE....