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
>
Roger,
On 10 Jul 2011, at 14:08, Roger Bishop Jones wrote:
> On Sunday 10 Jul 2011 12:22, Rob Arthan wrote:
>> Roger,
>>
>> I had put this on my list of things to fix by changing
>> \not\in in the style file to \notin, but I get exactly
>> the opposite problem: \not\in work but \notin fails. Are
On 08/07/11 01:00, Phil Clayton wrote:
On Fedora 15, building Xpp works but it seg faults when I run it - see
attached xpp_output.log.
On further investigation, I may have unfairly attributed this to using
Fedora 15. The cause of the issue appears to be having a long path to
the xpp executab
On Sunday 10 Jul 2011 12:22, Rob Arthan wrote:
> Roger,
>
> I had put this on my list of things to fix by changing
> \not\in in the style file to \notin, but I get exactly
> the opposite problem: \not\in work but \notin fails. Are
> you still having this problem? I am suspecting that you
> are usi
Roger,
I had put this on my list of things to fix by changing \not\in in the style
file to \notin, but I get exactly the opposite problem: \not\in work but \notin
fails. Are you still having this problem? I am suspecting that you are using a
style file that redefines both \not and \notin to som
