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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to