On Mon, Oct 29, 2001 at 03:10:35PM +0100, Jean-Marc Lasgouttes wrote:
> A question: are the advantage of ntheorem.sty vs. theorem.sty really
> striking in practice? Theorem.sty has the advantage of being in the
> required/ part of ctan, and we may want to support it anyway.
> Actually, for reLyX's sake, we may have to support amsthm.sty too (but
> maybe this is a bit too much).
ntheorem defines a proof environment with a correct end-of-proof box.
A naive definition of the proof environment
(e.g. \newenvironment{proof}{\emph{Proof:}}{\hfill$\Box$\par})
will place the end-of-proof box in a wrong place if the proof ends with a
display math, or with an environment (e.g. enumerate).
The proof environment places the box in the right position.
A similar feature is provided by amsthm. However, amsthm requires
putting \qedhere in the right places to help positioning the boxes.
ntheorem has other features like list of theorems.
