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").
Roger
_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
