Internet Explorer

Queste istruzioni e le immagini utilizzate fanno riferimento alla versione di Internet Explorer per Windows 7 in italiano.
Con minimi cambiamenti sono valide anche per le altre versioni possibili, anche di differenti sistemi operativi.

Attivando dal menu "Strumenti" la voce "Opzioni Internet" compare la finestra visualizzata quì di seguito.
Entrare quindi nella sotto-sezione "Connessioni".
Individuare la connessione attraverso la quale si effettua la navigazione (una tra quelle della casella "Impostazioni connessioni remote e VPN" o "Impostazioni di rete locale (LAN)").
Cliccare quindi sul relativo bottone "Impostazioni...".
Si presenta una finestra illustrata dall'immagine che segue nella quale occorre attivare la casella "Utilizza script di configurazione automatica" e impostare l'indirizzo:
http://proxy.math.unipd.it/proxy.pac
Dopo aver confermato la scelta cliccando su "Ok" (o equivalente) la configurazione può considerarsi terminata.