-
All the pins that are marked with a PWM are compatible
-
Hover your mouse over the pins on the reference page and it will show which timers they're on. As for which ones Espruino uses (in cases where there are more than one timer on a pin), I think my list here is accurate: http://forum.espruino.com/comments/12102383/ (Avoid using B4/B5, as noted in that thread)
The Waveform page is describing outputting analog voltages using analogWrite() on a DAC pin (there are 2 DAC pins on Espruino board, A4 and A5 - output an actual analog voltage between 0 and 3.3v, instead of PWM), not a PWM pin.
Which pwm timers are assign to which pins?