--2010-06-02 23:37:45--  http://www.cs.unm.edu/~mccune/prover9/download/LADR-2008-05A.tar.gz
Resolving www.cs.unm.edu... 64.106.20.52
Connecting to www.cs.unm.edu|64.106.20.52|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 1659880 (1.6M) [application/x-gzip]
Server file no newer than local file `./LADR-2008-05A.tar.gz' -- not retrieving.

--2010-06-02 23:37:46--  http://www.cs.unm.edu/~mccune/prover9/manual/prover9-manual-2008-05A.tar.gz
Resolving www.cs.unm.edu... 64.106.20.52
Connecting to www.cs.unm.edu|64.106.20.52|:80... connected.
HTTP request sent, awaiting response... 200 OK
Length: 866237 (846K) [application/x-gzip]
Server file no newer than local file `./prover9-manual-2008-05A.tar.gz' -- not retrieving.