La chiesa di San Ildefonso si trova vicino a piazza Batalha. In precedenza, al posto di una chiesa di San Ildefonso era la cappella, costruita nel XIII secolo. La cappella fu dedicata al Santo Алифону, e fu luogo di raccolta dei fedeli per la preghiera. Nel 1709, la cappella è stata praticamente distrutta. Il suo smantellate, e su questo punto ha iniziato nello stesso anno, la costruzione di una nuova chiesa, che fu costruita circa 30 anni. La prima fase di costruzione si è conclusa nel 1730, quando fu costruita la parte principale della chiesa e timpano, in cui ha specificato una data di costruzione. Finalmente la chiesa достроили già nel 1739; sono stati ultimati due campanili ai lati, rifinita in facciata.

L'edificio è costruito in stile barocco. Impressionante la facciata della chiesa, che è rivestito con piastrelle smaltate «азулезуш», e all'interno del tempio, i visitatori vedranno di lusso ретабло. In изразцах raffigura scene della vita di san Ildefonso, e anche le immagini del Vangelo. Il rivestimento delle pareti ci sono voluti più di 11 000 tessere sopra il disegno lavorato portoghese artista Georges Nicolas, noto per i suoi lavori su изразцах «азулезуш». Ретабло è stato realizzato su progetto di un noto architetto, maestro del barocco italiano, Nicolau Насони, che aveva molto ricchi di immaginazione, ma ha anche costruito un sacco di altri edifici interessanti in Portogallo. Ha lavorato ретабло e ha stabilito il suo architetto Мигуэль Francisco da Silva.

Dopo l'uragano nel 1819 nella chiesa sono stati effettuati lavori di ristrutturazione. E in caso di assedio della città di Oporto, nel 1833, la chiesa notevolmente colpita dall'artiglieria bombardamento. Nel 1967 sono stati effettuati i lavori di restauro, in cui sono stati sostituiti da una vetrata.