Dear all,
I'm sending you a very basic shell script that I made to help Marcel while
trying to install ProofPower this week. It downloads the required packages
via APT, also the last version of ProofPower and PolyML, and install it in
the default directories. It is a suggestion for new users that
Dear All,
Artur has created a script that installed all dependencies and ProofPower
itself. Using it, I could install PP successfully. I will let him post the
script! Thanks Artur.
Nevertheles. My palette doesn't look good. I have the following message when
I open PP
"Warning: Cannot co
Marcel Oliveira writes:
>
> Artur has created a script that installed all dependencies and ProofPower
> itself. Using it, I could install PP successfully. I will let him post the
> script! Thanks Artur.
Well done! And thanks to Artur from me too.
>
>
>
> Nevertheles. My palette doesn't look good