Dear Peter,
I'm editing a document in AMS book style, and in the appendix it
displays all the 'proposition'-s as 'theorem'-s, but in the main
chapters it is displayed correctly, as 'proposition'. When I watch
the .dvi file, it displays everything correctly, though.
Second, the environment depth is marked in LyX with a dark red
brace-like symbol which is as long as the typed text in the given
environment depth. Now in the older version 1.3.6 this is on the left
margin of the text, displaying very nicely embedded environment with
this brace-like symbols becoming nested into each other. In the
versions from 1.4.x onwards, these marks are not on the margin, but
they overlap with the text, which looks quite annoying.
could you please add your bug reports to http://bugzilla.lyx.org? This
way, you can ensure that your concerns are taking into account even if
some us are rather busy these days...
Best regards,
Michael