./pvs-prelude.pdf already exists, skipping download
./interpretations.pdf already exists, skipping download
./csl-97-2.ps.gz already exists, skipping download
./csl-93-9.ps.gz already exists, skipping download
Getting http://pvs.csl.sri.com/doc/pvs-prelude.pdf to ./pvs-prelude.pdf
Getting http://pvs.csl.sri.com/doc/interpretations.pdf to ./interpretations.pdf
Getting http://pvs.csl.sri.com/papers/csl-97-2/csl-97-2.ps.gz to ./csl-97-2.ps.gz
Getting http://pvs.csl.sri.com/papers/csl-93-9/csl-93-9.ps.gz to ./csl-93-9.ps.gz