Closed jcr2015 closed 4 years ago
Hi,
The web site should be working now - if you still have problems let us know.
Thanks, Sam Owre
jcr2015 notifications@github.com wrote:
He all Unfortunately I cannot acces the old repository for PVS at SRI. I want to reinstall PVS but the ./unstall.sh is saying chmod: pvs: No such file or directory chmod: pvsio: No such file or directory chmod: proveit: No such file or directory chmod: provethem: No such file or directory and INSTALL instructions are not aligned with the package. An hint will be appreciated. best regards
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.
He all Unfortunately I cannot acces the old repository for PVS at SRI. I want to reinstall PVS but the ./unstall.sh is saying chmod: pvs: No such file or directory chmod: pvsio: No such file or directory chmod: proveit: No such file or directory chmod: provethem: No such file or directory and INSTALL instructions are not aligned with the package. An hint will be appreciated. best regards