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 are not very
clever with linux commands.

It just need to execute: sh
and provide the user password for the SUDO command.

Hope it helps.

Best wishes,

Artur Oliveira Gomes

Description: Bourne shell script

Proofpower mailing list

Reply via email to