Re: Theorem proof results in error

2012-01-14 Thread Paul A . Rubin
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\

Theorem proof results in error

2012-01-14 Thread Jeroen van Zundert
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 fo