calebegg / proof-pad-classic

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

installation glitch (wx86cI64.exe open for write) #76

Open rexpage opened 7 years ago

rexpage commented 7 years ago

When I updated Proof Pad today, it tried to open wx86cI64.exe for write, but failed. I clicked "ignore" in the dialog that popped up, and it seemed to proceed without a problem. Now running Release 3, code 86014. Not sure what I was running before, but the old installation file was dated 11/27/2012, so I guess that's when I downloaded the old one.