I didn't see a reset chapter, but did notice that T1CON register is always set
to zero on powerup, but remains unchanged for any other reset.
Since I'm not using timer 1, I just set one of the prescaler bits somewhere
in my program, and then check for the value of T1CON where I want to check
whether reset was caused by watchdog timer.