Thanks Rob. And now, one more error.
I believe it is polyml related. Cheers, Marcel On Fri, Mar 11, 2011 at 9:46 AM, Roger Bishop Jones <[email protected]> wrote: > It says you are missing the LaTeX epsf package. > You could get that from ctan.org > > Roger Jones > > _______________________________________________ > Proofpower mailing list > [email protected] > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com >
build.log
Description: Binary data
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
