[GAP] Unable to connect to https://www2.adacore.com/gnattracker2

Florian Villoing villoing at adacore.com
Mon May 19 18:00:19 CEST 2008


> Thanks for your reply.

You are very welcome.

 
> I am working behind a firewall. I eventually discovered that the proxy
> which was configured in my browser (Firefox / Fedora 7) did not accept
> any longer https requests. Choosing the right proxy fixed the trouble.

This is good news.

Best regards,
Florian



More information about the GAP mailing list