--2010-06-02 23:39:37--  http://pvs.csl.sri.com/doc/pvs-prelude.pdf
Resolving pvs.csl.sri.com... 130.107.1.100
Connecting to pvs.csl.sri.com|130.107.1.100|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 303145 (296K) [application/pdf]
Server file no newer than local file `./pvs-prelude.pdf' -- not retrieving.

--2010-06-02 23:39:38--  http://pvs.csl.sri.com/doc/interpretations.pdf
Resolving pvs.csl.sri.com... 130.107.1.100
Connecting to pvs.csl.sri.com|130.107.1.100|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 118861 (116K) [application/pdf]
Server file no newer than local file `./interpretations.pdf' -- not retrieving.

--2010-06-02 23:39:38--  http://pvs.csl.sri.com/papers/csl-97-2/csl-97-2.ps.gz
Resolving pvs.csl.sri.com... 130.107.1.100
Connecting to pvs.csl.sri.com|130.107.1.100|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 188705 (184K) [application/postscript]
Server file no newer than local file `./csl-97-2.ps.gz' -- not retrieving.

--2010-06-02 23:39:38--  http://pvs.csl.sri.com/papers/csl-93-9/csl-93-9.ps.gz
Resolving pvs.csl.sri.com... 130.107.1.100
Connecting to pvs.csl.sri.com|130.107.1.100|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 94825 (93K) [application/postscript]
Server file no newer than local file `./csl-93-9.ps.gz' -- not retrieving.