Looking closer at the problem with wrk066 I find that the sed scripts do the right thing if executed in an interactive shell but not when executed in texpdf.
On Wednesday 14 Apr 2010 23:09, Rob Arthan wrote: > I have attached a small > file which shows all the problems. This is processed OK by my present version of texpdf, but wrk066 still fails. Roger
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com