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
Re: Theorem proof results in error
Jeroen van Zundert zundertj at gmail.com writes: The change in that file (removing the backslash) also exists in the file on my pc (..\Resources\layouts\theorems-proof-std.inc) You might check the ...\layouts folder under your home directory (on Win 7 that's usually something like C:\Users\you\AppData\Roaming\LyX2.0) and make sure you don't have an old customized version that contains the errant backslash. Paul
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
Re: Theorem proof results in error
Jeroen van Zundert zundertj at gmail.com writes: The change in that file (removing the backslash) also exists in the file on my pc (..\Resources\layouts\theorems-proof-std.inc) You might check the ...\layouts folder under your home directory (on Win 7 that's usually something like C:\Users\you\AppData\Roaming\LyX2.0) and make sure you don't have an old customized version that contains the errant backslash. Paul
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
Re: Theorem proof results in error
Jeroen van Zundert gmail.com> writes:
>
> The change in that file (removing the backslash) also exists in the file on my
pc ("..\Resources\layouts\theorems-proof-std.inc")
You might check the ...\layouts folder under your home directory (on Win 7
that's usually something like C:\Users\\AppData\Roaming\LyX2.0) and make
sure you don't have an old customized version that contains the errant
backslash.
Paul
