#priority --- List of interrupts undocumented?

[MikeValencia]

In the compiler manual, the only example i see with the #priority directive has rtcc and rb as the arguments:

#priority rtcc, rb

Where are these arguments listed? Initially, I tried using

#priority INT_EXT, INT_TIMER1

and that gave me an error. At first guess, since I don't know where the valid #priority arguments are listed in documentation, I had to go with trial and error to get the correct names.

Is it documented somewhere that I must use "rtcc", "rb", etc.?

[MikeValencia]

I found it in Ints.txt