--2010-06-01 00:34:37-- http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.1.tgz Resolving proofgeneral.inf.ed.ac.uk... 129.215.202.26 Connecting to proofgeneral.inf.ed.ac.uk|129.215.202.26|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 2023176 (1.9M) [application/x-gzip] Remote file is newer, retrieving. --2010-06-01 00:34:39-- http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.1.tgz Reusing existing connection to proofgeneral.inf.ed.ac.uk:80. HTTP request sent, awaiting response... 200 OK Length: 2023176 (1.9M) [application/x-gzip] Saving to: `./ProofGeneral-3.7.1.tgz' 0K .......... .......... .......... .......... .......... 2% 61.8K 31s 50K .......... .......... .......... .......... .......... 5% 119K 23s 100K .......... .......... .......... .......... .......... 7% 230K 18s 150K .......... .......... .......... .......... .......... 10% 201K 15s 200K .......... .......... .......... .......... .......... 12% 310K 13s 250K .......... .......... .......... .......... .......... 15% 320K 11s 300K .......... .......... .......... .......... .......... 17% 311K 10s 350K .......... .......... .......... .......... .......... 20% 276K 9s 400K .......... .......... .......... .......... .......... 22% 321K 9s 450K .......... .......... .......... .......... .......... 25% 276K 8s 500K .......... .......... .......... .......... .......... 27% 390K 7s 550K .......... .......... .......... .......... .......... 30% 695K 7s 600K .......... .......... .......... .......... .......... 32% 469K 6s 650K .......... .......... .......... .......... .......... 35% 327K 6s 700K .......... .......... .......... .......... .......... 37% 313K 5s 750K .......... .......... .......... .......... .......... 40% 737K 5s 800K .......... .......... .......... .......... .......... 43% 336K 5s 850K .......... .......... .......... .......... .......... 45% 445K 4s 900K .......... .......... .......... .......... .......... 48% 328K 4s 950K .......... .......... .......... .......... .......... 50% 789K 4s 1000K .......... .......... .......... .......... .......... 53% 326K 4s 1050K .......... .......... .......... .......... .......... 55% 308K 3s 1100K .......... .......... .......... .......... .......... 58% 330K 3s 1150K .......... .......... .......... .......... .......... 60% 325K 3s 1200K .......... .......... .......... .......... .......... 63% 2.12M 3s 1250K .......... .......... .......... .......... .......... 65% 321K 2s 1300K .......... .......... .......... .......... .......... 68% 330K 2s 1350K .......... .......... .......... .......... .......... 70% 324K 2s 1400K .......... .......... .......... .......... .......... 73% 2.64M 2s 1450K .......... .......... .......... .......... .......... 75% 312K 2s 1500K .......... .......... .......... .......... .......... 78% 344K 1s 1550K .......... .......... .......... .......... .......... 80% 330K 1s 1600K .......... .......... .......... .......... .......... 83% 330K 1s 1650K .......... .......... .......... .......... .......... 86% 323K 1s 1700K .......... .......... .......... .......... .......... 88% 2.61M 1s 1750K .......... .......... .......... .......... .......... 91% 318K 1s 1800K .......... .......... .......... .......... .......... 93% 316K 0s 1850K .......... .......... .......... .......... .......... 96% 170K 0s 1900K .......... .......... .......... .......... .......... 98% 316K 0s 1950K .......... .......... ..... 100% 2.13M=6.5s 2010-06-01 00:34:45 (302 KB/s) - `./ProofGeneral-3.7.1.tgz' saved [2023176/2023176]