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
