Theorem proof results in error
Hi all, In LyX 2.0.2 (on Win7) I am using the module Theorems (Numbered by Type) for lemmas, propositions, etc. However, the proof functionality results in an error when compiling the document into a pdf file. It seems, from the log file, that there is an error, as in the source there is the following piece: \ifx\proof\undefined\, note the backslash at the end. I've already found that there has been a bug fix 6 months ago, see http://www.lyx.org/trac/changeset/39217. The change in that file (removing the backslash) also exists in the file on my pc (..\Resources\layouts\theorems-proof-std.inc), so it seems to me that the fix is applied in version 2.0.2. The problem is that in the LaTeX source created by LyX the error still exists. Do I have to activate this fix in some way, or can I manually patch this error in some other file? Jeroen
Theorem proof results in error
Hi all, In LyX 2.0.2 (on Win7) I am using the module Theorems (Numbered by Type) for lemmas, propositions, etc. However, the proof functionality results in an error when compiling the document into a pdf file. It seems, from the log file, that there is an error, as in the source there is the following piece: \ifx\proof\undefined\, note the backslash at the end. I've already found that there has been a bug fix 6 months ago, see http://www.lyx.org/trac/changeset/39217. The change in that file (removing the backslash) also exists in the file on my pc (..\Resources\layouts\theorems-proof-std.inc), so it seems to me that the fix is applied in version 2.0.2. The problem is that in the LaTeX source created by LyX the error still exists. Do I have to activate this fix in some way, or can I manually patch this error in some other file? Jeroen
Theorem proof results in error
Hi all,
In LyX 2.0.2 (on Win7) I am using the module "Theorems (Numbered by Type)"
for lemmas, propositions, etc. However, the proof functionality results in
an error when compiling the document into a pdf file. It seems, from the
log file, that there is an error, as in the source there is the following
piece: "\ifx\proof\undefined\", note the backslash at the end. I've already
found that there has been a bug fix 6 months ago, see
http://www.lyx.org/trac/changeset/39217. The change in that file (removing
the backslash) also exists in the file on my pc
("..\Resources\layouts\theorems-proof-std.inc"), so it seems to me that the
fix is applied in version 2.0.2. The problem is that in the LaTeX source
created by LyX the error still exists. Do I have to activate this fix in
some way, or can I manually patch this error in some other file?
Jeroen
