> IIRC, datasheet says that INTF is set whenever the interrupt
> condition is satisfied. (even with INTE clear)

Yes, you IIRC. The flag for an interrupt source is set whether its
enable mask bit is set or not. So in Antoniasses's case, even
if the external interrupt has not been enabled,  INTF could still
be 1. As you say, test for INTF + INTE. That test can be performed
before or after testing T0IF, depending on which interrupt source
you want to give priority to

--
http://www.piclist.com hint: The PICList is archived three different
ways.  See http://www.piclist.com/#archives for details.