Arduino Pro Beta and ESP32 board support

I just downloaded the new version of Arduino Pro beta V0.0.6 and one of the things I noticed is that under preferences there is no longer the "AdditionalBoards Manager URLs:" where you could enter the url for the particular board library. I was trying to use the Espressif ESP32 native libs but I found no way to do that. I tend to use the ESP32-DEV board extensively in some of my projects is there anyway to find the correct material so I could use this board within the new Arduino Pro environment ? I am using both the Windows version an Mac OS version.
Thank you for your help
Carlos Barberis

Hi @c_barberis. The UI of the Pro IDE is significantly different from that of the classic Arduino IDE, which causes the wealth of documentation and tutorials no longer relevant. You can find instructions for how to add ESP32 support to the Pro IDE here:

If you have any questions or problems with that, please let us know and we'll try to help out.