search

calebegg / proof-pad-classic

An IDE for ACL2
http://proofpad.org
GNU General Public License v3.0
21 stars 4 forks source link

Website DNS lookup failure #71

Closed Leafynoun closed 9 years ago

Leafynoun commented 10 years ago

On the main website when I try to download Proof Pad in .tar.gz for linux, it results in a DNS lookup failure. Currently it is redirecting to http://dl.proofpad.org/ProofPad.tar.gz which appears to be down.

calebegg commented 9 years ago

Sorry about this. Fixed it a while back.