>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:

Andre> First of all, thank you Jean-Marc. 'relyx -r' - this option is
Andre> not directly available from the GUi, is it? Anyway, I guess it
Andre> will help.

No, it is indeed not included in the GUI. Amir asked for help there,
and nobody stepped in.

Andre> The 'proof' thingy:

I was referring to the actual code. How do you define it latex-wise?

JMarc

Reply via email to