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

PVS 2.2 now available on mirror sites

The distribution of PVS2.2, announced on Friday, is now available
by ftp from three mirror sites, which contain the same files as
ftp://ftp.csl.sri.com/pub/pvs at SRI:

York, England:	ftp://ftp.cs.york.ac.uk/pub/pvs
Ulm, Germany:	ftp://ftp.informatik.uni-ulm.de/pub/KI/pvs
Tokyo, Japan:	ftp://nicosia.is.s.u-tokyo.ac.jp/pub/misc/pvs

Please note that the mirror site in Germany still has the old
PVS2.1 files in the same directory (we are dealing with this
problem) so be careful to take only the files with "2.2" in
the filename.

Many thanks to those who have donated space to host these
mirror sites.  


Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory,
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA.
Phone: (650) 859-3291    Fax: (650) 859-2844   Email: dave_sc@csl.sri.com