From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/32853 Path: news.gmane.org!not-for-mail From: Aditya Mahajan Newsgroups: gmane.comp.tex.context Subject: Re: Theorems, etc with ConTeXt Date: Fri, 19 Jan 2007 09:56:39 -0500 (EST) Message-ID: References: <45B0975A.10704@elvenkind.com> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1169218633 14535 80.91.229.12 (19 Jan 2007 14:57:13 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Fri, 19 Jan 2007 14:57:13 +0000 (UTC) Original-X-From: ntg-context-bounces@ntg.nl Fri Jan 19 15:57:10 2007 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane.org Original-Received: from ronja.vet.uu.nl ([131.211.172.88] helo=ronja.ntg.nl) by lo.gmane.org with esmtp (Exim 4.50) id 1H7vAx-0001bB-To for gctc-ntg-context-518@m.gmane.org; Fri, 19 Jan 2007 15:57:07 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id CE6261FFEE; Fri, 19 Jan 2007 15:52:32 +0100 (CET) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (smtp.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 04947-04-2; Fri, 19 Jan 2007 15:52:22 +0100 (CET) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 2DB781FFF9; Fri, 19 Jan 2007 15:52:22 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 906F120000 for ; Fri, 19 Jan 2007 15:52:17 +0100 (CET) Original-Received: from ronja.ntg.nl ([127.0.0.1]) by localhost (smtp.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with LMTP id 05536-02 for ; Fri, 19 Jan 2007 15:52:07 +0100 (CET) Original-Received: from tombraider.mr.itd.umich.edu (smtp.mail.umich.edu [141.211.93.161]) by ronja.ntg.nl (Postfix) with ESMTP id C29B31FE70 for ; Fri, 19 Jan 2007 15:52:06 +0100 (CET) Original-Received: FROM aditya.annarb01.mi.comcast.net (c-68-40-50-205.hsd1.mi.comcast.net [68.40.50.205]) BY tombraider.mr.itd.umich.edu ID 45B0DC27.15BD3.23155 ; 19 Jan 2007 09:56:39 -0500 Original-To: mailing list for ConTeXt users In-Reply-To: <45B0975A.10704@elvenkind.com> X-Virus-Scanned: amavisd-new at ntg.nl X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.7 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: ntg-context-bounces@ntg.nl Errors-To: ntg-context-bounces@ntg.nl X-Virus-Scanned: amavisd-new at ntg.nl Xref: news.gmane.org gmane.comp.tex.context:32853 Archived-At: On Fri, 19 Jan 2007, Taco Hoekwater wrote: > > Hi Aditya, > > Aditya Mahajan wrote: > > > > 4. The theorem should have a title. The title should be optional. > >> Is partially implemented > > I used to work around that by defining a layer on top of the > enumerations that always define the enumeration's settings > on the fly. Quite inefficient, but it worked OK. Support in the > core would be much nicer, though. I will try to add this to as a patch to enumerations, and see how it works. > > The last things, that is the end of proof marker, is right now not > > possible in ConTeXt. There are a lot of things that need to be taken > > care of while having a end-of-proof marker: basically, you need to > > ensure that there is no page break between the proof and the marker. > > Also the marker needs to be moved up or down, depending on how the > > proof ends. At the very least, ConTeXt should have something that > > ensures that the end of proof marker does not go onto a page of its > > own. > > End of proof markers are a pain, and I see no easy solution. I saw a proof.tex for plain tex, which ensured that the end of the line marker stayed on the same page. No support for correct spacing for itemize and formula. The ntheorem package does that, but I do not fully understand the algorithm, so it may be harder to port. I will try a port of proof.tex if I can find it again. Aditya