Roger, On 10 Jul 2011, at 16:59, Roger Bishop Jones wrote:
> Rob, > > On Sunday 10 Jul 2011 15:59, you wrote: >> >> What happens if you just run doctex and then texdvi on >> this file: >> >> http://dl.dropbox.com/u/34693999/ProofPower/rbj-not-in.te >> x >> >> For me it fails on the second GFT section, when the >> %notmem% character is expanded to \notin rather than >> \not\in. > > You just asked me to run doctex on a tex file, so I skipped > that step. > > When I ran texdvi I got: > > ! Illegal parameter number in definition of \Temp. > <to be read again> > \crcr > l.14 ...ng \Backslash{}notin : \PrNL{}\PrIO{}\PrNN > {}\\ > > > What I normally do is run "docpdf" which is my own lash up > (using "makeindex"). > And presumably your docpdf calls pdflatex (which will fail in just the same way as texdvi on this example, I think you will find). So with this very simple example, the way ProofPower.sty does it works and the workaround you needed to get it working in your real example doesn't work. I think the next step has to be for you to try adding the style files you use to the simple example to see if we can figure out which one is causing the problem. Regards, Rob. > Roger > > _______________________________________________ > 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