On 14 Nov 2009, at 11:01, Igorj V wrote: > trying t install OpenProofPower-2.7.8 > appears some error > > how to read build.log file?!
It is telling you that it failed while compiling file imp116.sml. The output from the compilation will be in the file src/imp116.err. Have a look at that. Regards, Rob. > <build.log>_______________________________________________ > Proofpower mailing list > Proofpower@lemma-one.com > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com _______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com