I was reading an article by Rob Arthan about ProofPower Z and notice that the document shows SML input followed by ProofPower output. I have not seen how to automatically create that using xpp. e.g. I know that =SML produces the first label using doctex, but what produces the "ProofPower output" label in the tex file?
So far, I have been using screenshot images of what I see in xpp and using \includegraphics under =TEX -- -Dave
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
