Mkr1000 and pwm

Hi all. Reading informacion about mkr1000 I'm not sucre about what pins could be pwm output. Somebody can help me? Thanks.
Jaume

Digital Pins 2, 3, 4, and 5 are marked as PWM capable on the board (a ~ symbol next to the pin number is the nomenclature).

But in docs on the web say:"PWM Pins 12 (0, 1, 2, 3, 4, 5, 6, 7, 8, 10, A3 - or 18 -, A4 -or 19)"
Is OK?