Below are screenshots of the GMail POP3 client setup procedure for ISR email, for a better illustration of the process.

In point 5, enter your ISR email address.

In point 7, enter the password associated with your ISR account.

In point 8, enter pop3.isr.uc.pt and make sure that port 995 is selected in point 9.