Dekel Tsur <[EMAIL PROTECTED]> writes:
| On Fri, Feb 25, 2000 at 08:28:11PM +0100, Lars Gullik Bjønnes wrote:
| > Dekel Tsur <[EMAIL PROTECTED]> writes:
| >
| > | I'm a little surprised that LyX doesn't draw an end-of-proof symbol at the
| > | end of proofs, so I've written a patch that does this.
| >
| > I finally got time to respond to this.
| >
| > I don't think LyX' layout files should demand a QED box at the end of
| > proofs unless LaTeX (AMSLaTeX) already does this.
| >
| > So, is this patch really needed?
|
| The document class amsart.cls defines a proof environment which automatically
| put a qed box at the end, so I think that the LyX user should get a visual
| cue for this.
| Furthermore, drawing the qed box also helps to see where the proof ends.
Ok, if the latex document class have a end of proof box, then we
should have one in LyX too.
| BTW, a proof environment with automatic qed box doesn't give "good"
| results on some cases (like when the proof ends with a display-math),
| which is a known limitation in LaTeX.
ok
Lgb