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 install-proofpower-ubuntu.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 Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com