--2013-09-29 16:44:37-- http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.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: 1613190 (1.5M) [application/x-gzip] Saving to: `./ProofGeneral-4.2.tgz' 0K .......... .......... .......... .......... .......... 3% 172K 9s 50K .......... .......... .......... .......... .......... 6% 313K 7s 100K .......... .......... .......... .......... .......... 9% 322K 6s 150K .......... .......... .......... .......... .......... 12% 348K 5s 200K .......... .......... .......... .......... .......... 15% 364K 5s 250K .......... .......... .......... .......... .......... 19% 290K 5s 300K .......... .......... .......... .......... .......... 22% 5.41M 4s 350K .......... .......... .......... .......... .......... 25% 1.31M 3s 400K .......... .......... .......... .......... .......... 28% 485K 3s 450K .......... .......... .......... .......... .......... 31% 3.67M 3s 500K .......... .......... .......... .......... .......... 34% 373K 3s 550K .......... .......... .......... .......... .......... 38% 4.55M 2s 600K .......... .......... .......... .......... .......... 41% 769K 2s 650K .......... .......... .......... .......... .......... 44% 620K 2s 700K .......... .......... .......... .......... .......... 47% 4.64M 2s 750K .......... .......... .......... .......... .......... 50% 809K 2s 800K .......... .......... .......... .......... .......... 53% 538K 1s 850K .......... .......... .......... .......... .......... 57% 4.67M 1s 900K .......... .......... .......... .......... .......... 60% 995K 1s 950K .......... .......... .......... .......... .......... 63% 566K 1s 1000K .......... .......... .......... .......... .......... 66% 4.50M 1s 1050K .......... .......... .......... .......... .......... 69% 996K 1s 1100K .......... .......... .......... .......... .......... 72% 569K 1s 1150K .......... .......... .......... .......... .......... 76% 4.10M 1s 1200K .......... .......... .......... .......... .......... 79% 3.79M 1s 1250K .......... .......... .......... .......... .......... 82% 1.13M 0s 1300K .......... .......... .......... .......... .......... 85% 591K 0s 1350K .......... .......... .......... .......... .......... 88% 3.98M 0s 1400K .......... .......... .......... .......... .......... 92% 4.31M 0s 1450K .......... .......... .......... .......... .......... 95% 1.10M 0s 1500K .......... .......... .......... .......... .......... 98% 604K 0s 1550K .......... .......... ..... 100% 1.36M=2.3s 2013-09-29 16:44:41 (686 KB/s) - `./ProofGeneral-4.2.tgz' saved [1613190/1613190] --2013-09-29 16:44:41-- http://proofgeneral.inf.ed.ac.uk/ProofGeneralPortrait.eps.gz 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: 1646905 (1.6M) [application/x-gzip] Saving to: `./ProofGeneralPortrait.eps.gz' 0K .......... .......... .......... .......... .......... 3% 8.53M 0s 50K .......... .......... .......... .......... .......... 6% 4.59M 0s 100K .......... .......... .......... .......... .......... 9% 3.39M 0s 150K .......... .......... .......... .......... .......... 12% 5.70M 0s 200K .......... .......... .......... .......... .......... 15% 425K 1s 250K .......... .......... .......... .......... .......... 18% 5.15M 1s 300K .......... .......... .......... .......... .......... 21% 4.01M 1s 350K .......... .......... .......... .......... .......... 24% 3.86M 1s 400K .......... .......... .......... .......... .......... 27% 4.20M 1s 450K .......... .......... .......... .......... .......... 31% 463K 1s 500K .......... .......... .......... .......... .......... 34% 3.91M 1s 550K .......... .......... .......... .......... .......... 37% 3.46M 1s 600K .......... .......... .......... .......... .......... 40% 4.26M 1s 650K .......... .......... .......... .......... .......... 43% 498K 1s 700K .......... .......... .......... .......... .......... 46% 3.32M 1s 750K .......... .......... .......... .......... .......... 49% 4.22M 0s 800K .......... .......... .......... .......... .......... 52% 2.57M 0s 850K .......... .......... .......... .......... .......... 55% 4.25M 0s 900K .......... .......... .......... .......... .......... 59% 496K 0s 950K .......... .......... .......... .......... .......... 62% 4.13M 0s 1000K .......... .......... .......... .......... .......... 65% 3.96M 0s 1050K .......... .......... .......... .......... .......... 68% 4.11M 0s 1100K .......... .......... .......... .......... .......... 71% 3.55M 0s 1150K .......... .......... .......... .......... .......... 74% 3.40M 0s 1200K .......... .......... .......... .......... .......... 77% 502K 0s 1250K .......... .......... .......... .......... .......... 80% 4.53M 0s 1300K .......... .......... .......... .......... .......... 83% 4.07M 0s 1350K .......... .......... .......... .......... .......... 87% 3.79M 0s 1400K .......... .......... .......... .......... .......... 90% 4.45M 0s 1450K .......... .......... .......... .......... .......... 93% 502K 0s 1500K .......... .......... .......... .......... .......... 96% 4.25M 0s 1550K .......... .......... .......... .......... .......... 99% 1.90M 0s 1600K ........ 100% 38.7M=1.0s 2013-09-29 16:44:42 (1.65 MB/s) - `./ProofGeneralPortrait.eps.gz' saved [1646905/1646905]