Energia. Where do I get documentation?

Hello!

I'm trying to use Energia as a way to teach to an Arduino user.

I'm using the FR5994 board, and I found a tutorial somewhere, saying that the board's red led

can be accessed with the definition RED_LED. I tried the blink code, and it works.

Now, where can I find definitions for other items. For instance, let's suppose that I want to use

UCA0 in SPI mode. What would be the configuration?

I checked in Energia's examples. There are serial examples, but none of these specifies

which port is used.

Beside this, for example if I want to set P2.5 high, how do I do? All the examples are with RED_LED,

GREEN_LED, but what about a port / pin chosen randomly like P2.5?

Any hint about how to proceed?

Thanks,

Pascal