[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PVS-Help] PVS pages not available



Thanks for alerting us to this.   We're looking into it.

Regards,
John

On 10/08/2012 05:54 AM, Jean-Claude Royer wrote:
> Dear all
>>From several days I try to access to the pvs bugs pages and to other pages like 
> http://pvs.csl.sri.com/mail-archive/pvs-help/ but I cannot.
> 
> I got 
> Forbidden
> You don't have permission to access /mail-archive/pvs-help/ on this server.
> 
> I see some parts of the pages but not all
> 
> What is the problem ?
> regards
> 
> Jean-Claude.Royer@xxxxxxxxxxxxxxx
> ASCOLA, Mines de Nantes - INRIA
> + 33 2 51 85 82 05
> 
> 
> 
> 
> 
> 
>