In -0023, I would have confidently said yes.
In 1.0, I am much less sure.
A good start would finding the 3 sections where the pins are assigned.
The first assigns the port assignments to the D#s, starting with D0 and working up.
The second assigns the bits of the port called out in the first, these can be in order, or they can be jumbled.
The third assigns whether the bit has a timer associated with it (so it can be PWM'd).
After that, more research is needed. Somehow the analog pins are assigned digital #s also, or maybe the other way around - the digital pin assignments are given analog numbers if they are the ADC inputs.
Hope that gets you started.