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

Re: [PVS-Help] Cant Find new pvs script

Hi Thomas,

We have been moving to a new server, and that link was broken.  It
should work now.


Thomas Santana <mailleux@gmx.net> wrote:

> Date: Sat, 12 Nov 2005 20:01:12 +0100 (MET)
> From: "Thomas Santana" <mailleux@gmx.net>
> To: pvs-help@csl.sri.com
> Subject: [PVS-Help] Cant Find new pvs script
> The page
> http://pvs.csl.sri.com/faq.shtml#redhat9
> Has a reference to the new version of the PVS starting script, but the link
> is broken, and all other references on the web point to this link. Could you
> please send me the script or fix the page?
> Thanks in advance, 
> Thomas
> -- 
> Telefonieren Sie schon oder sparen Sie noch?
> NEU: GMX Phone_Flat http://www.gmx.net/de/go/telefonie