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 <r...@rbjones.com> wrote:
> It says you are missing the LaTeX epsf package.
> You could get that from ctan.org
>
> Roger Jones
>
> _______________________________________________
> Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>

Attachment: build.log
Description: Binary data

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to