--2010-01-07 06:17:17-- http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-3.7.1.tgz Resolving proofgeneral.inf.ed.ac.uk... 129.215.155.4 Connecting to proofgeneral.inf.ed.ac.uk|129.215.155.4|:80... connected. HTTP request sent, awaiting response... 200 OK Length: 2023176 (1.9M) [application/x-gzip] Saving to: `./ProofGeneral-3.7.1.tgz' 0K .......... .......... .......... .......... .......... 2% 35.4K 54s 50K .......... .......... .......... .......... .......... 5% 34.6K 54s 100K .......... .......... .......... .......... .......... 7% 34.6K 52s 150K .......... .......... .......... .......... .......... 10% 21.6K 59s 200K .......... .......... .......... .......... .......... 12% 34.7K 56s 250K .......... .......... .......... .......... .......... 15% 46.6K 51s 300K .......... .......... .......... .......... .......... 17% 55.7K 47s 350K .......... .......... .......... .......... .......... 20% 39.3K 45s 400K .......... .......... .......... .......... .......... 22% 46.5K 42s 450K .......... .......... .......... .......... .......... 25% 45.6K 40s 500K .......... .......... .......... .......... .......... 27% 40.1K 38s 550K .......... .......... .......... .......... .......... 30% 46.0K 36s 600K .......... .......... .......... .......... .......... 32% 48.0K 34s 650K .......... .......... .......... .......... .......... 35% 46.1K 33s 700K .......... .......... .......... .......... .......... 37% 39.4K 31s 750K .......... .......... .......... .......... .......... 40% 40.4K 30s 800K .......... .......... .......... .......... .......... 43% 27.1K 30s 850K .......... .......... .......... .......... .......... 45% 40.6K 28s 900K .......... .......... .......... .......... .......... 48% 50.8K 26s 950K .......... .......... .......... .......... .......... 50% 39.7K 25s 1000K .......... .......... .......... .......... .......... 53% 39.4K 24s 1050K .......... .......... .......... .......... .......... 55% 39.5K 23s 1100K .......... .......... .......... .......... .......... 58% 35.0K 21s 1150K .......... .......... .......... .......... .......... 60% 39.8K 20s 1200K .......... .......... .......... .......... .......... 63% 35.1K 19s 1250K .......... .......... .......... .......... .......... 65% 45.8K 17s 1300K .......... .......... .......... .......... .......... 68% 45.4K 16s 1350K .......... .......... .......... .......... .......... 70% 46.6K 15s 1400K .......... .......... .......... .......... .......... 73% 45.9K 13s 1450K .......... .......... .......... .......... .......... 75% 28.0K 12s 1500K .......... .......... .......... .......... .......... 78% 38.8K 11s 1550K .......... .......... .......... .......... .......... 80% 35.4K 10s 1600K .......... .......... .......... .......... .......... 83% 46.0K 8s 1650K .......... .......... .......... .......... .......... 86% 45.7K 7s 1700K .......... .......... .......... .......... .......... 88% 39.8K 6s 1750K .......... .......... .......... .......... .......... 91% 46.0K 4s 1800K .......... .......... .......... .......... .......... 93% 35.4K 3s 1850K .......... .......... .......... .......... .......... 96% 34.8K 2s 1900K .......... .......... .......... .......... .......... 98% 34.9K 1s 1950K .......... .......... ..... 100% 28.3K=51s 2010-01-07 06:18:09 (38.8 KB/s) - `./ProofGeneral-3.7.1.tgz' saved [2023176/2023176]