>>>>> "Enrico" == Enrico Forestieri <[EMAIL PROTECTED]> writes:
Enrico> The patch seems to work. However, I follow the instructions in Enrico> bug 2445, and after BAR and ENTER, I select Standard. What now Enrico> I type seems to be still part of the proof and I have to Enrico> decrease the environment depth to get out of it. I think it is how it is supposed to work. Enrico> The bug described in indent.lyx seems to be gone. Thanks for testing. Patch applied. JMarc
