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

[PVS-Help] PVS pages not available

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 
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 ?

ASCOLA, Mines de Nantes - INRIA
+ 33 2 51 85 82 05