Lars Gullik Bjønnes writes:
As you can see, the proof environment is broken into two proof
environments. I test this with the enumere environment with the same
result, if the space is inserted at the first level. If this appears
many times in a large document and for several environments it can
become a real problem...
It is a deliberate change.
I understand. But, for example, if you have a proof environment containing some
lemmas
with their proofs, and if you have some vertical spaces in the lemmas (why
not?) and
in the proofs, the file read by lyx-1.4.0pre6 looks very strange!
PhC
