Hola Eva, en primer lugar con que compilador estas trabajando? me parece que CCS, si es asi no tienes que descargarla, con teclearla es suficiente, primero tendrás que haber configurado el CCP como PWM y el timer correspondiente,
setup_timer_2(T2_DIV_BY_16,255,1);
setup_ccp1(CCP_PWM);
en el wizard del CCS te orienta sobre el tema
y luego darle el duty:
set_pwm1_duty()
tienes una ayuda bastante completa en CCS que te orienta sobre el uso de las intrucciones...