>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> I had to use reLyX to import a document containing larger
Andre> chunks wrapped in \begin{proof} and \end{proof}.
Andre> reLyX translated everything to ERT, including the included
Andre> math. I'd rather have \begin and \end in ERT and the stuff in
Andre> between translated 'normally'.
Andre> I ended up replacing \begin{proof} by \xbegin{proof}, reLyX'ing
Andre> the document and changing xbegin back to begin in the .lyx
Andre> file.
Andre> Does anybody know of a simpler method?
Something like
reLyX -r proof myfile.tex
You can also use a syntax file.
JMarc
