La entrada la estoy conectando al RB1, eso seguro.
Pongo número negativo porque es lo mismo poner set_rtcc(-25) que set_rtcc(255-25) y para mi es más visual (y lo de poner los temporizadores... bueno, más bien se me ha olvidado quitarlos

)
Supongo que será el grabador que utilizo (software). Para los 16f84 utilizaba el ICPROG, pero resulta que no es compatible con el 16f88. Seguiré haciendo pruebas a ver. Utilizaré el WinPic800.
También puede ser la configuración del 16f88, que tiene bastantes cosas mas que el 84.
Gracias, por asegurarme que el código está bien (cómo lo has hecho? simplemente repasando o lo has probado fisicamente?). Miraré qué otras cosas pueden ser.
EDIT: Por cierto, por qué pin sale el PWM en el 16f88? (veo que hay 2 pines con el mismo nombre)