From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/33694 Path: news.gmane.org!not-for-mail From: Oliver Buerschaper Newsgroups: gmane.comp.tex.context Subject: Re: Theorems, etc with ConTeXt Date: Tue, 6 Mar 2007 11:26:09 +0100 Message-ID: References: <45B0975A.10704@elvenkind.com> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1173176782 22207 80.91.229.12 (6 Mar 2007 10:26:22 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 6 Mar 2007 10:26:22 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Tue Mar 06 11:26:15 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 1HOWs0-0000k7-VU for gctc-ntg-context-518@m.gmane.org; Tue, 06 Mar 2007 11:26:13 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id E9CBD188; Tue, 6 Mar 2007 11:21:57 +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 20439-09-3; Tue, 6 Mar 2007 11:21:50 +0100 (CET) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 6EAEB17B; Tue, 6 Mar 2007 11:21:50 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id A6FA417B for ; Tue, 6 Mar 2007 11:21:49 +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 20439-09-2 for ; Tue, 6 Mar 2007 11:21:47 +0100 (CET) Original-Received: from post.rzg.mpg.de (post.rzg.mpg.de [130.183.7.21]) by ronja.ntg.nl (Postfix) with ESMTP id 66E1815F for ; Tue, 6 Mar 2007 11:21:47 +0100 (CET) Original-Received: from [130.183.93.58] ([130.183.93.58]) by post.rzg.mpg.de (8.9.2/8.9.2) with ESMTP id LAA3567838 for ; Tue, 6 Mar 2007 11:26:02 +0100 X-Envelope-To: In-Reply-To: X-Mailer: Apple Mail (2.752.2) X-Virus-Scanned: amavisd-new at ntg.nl X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.9 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:33694 Archived-At: Hi Aditya, > I have rudimentary support for titled theorems and end of proof > markers working. It also takes care of your bug-report. That's great news! My fingers are itching to test it ;-) > I have patched core-des so that stopper is also honored when number=no > is set. Does this mean that your patch has already been merged with the official release? > I have a very basic end of proof marker working. Basically, it will > handle the marker correctly for proofs that end with paragraphs, and > works hard to avoid a page break when the proof ends with a formula or > an itemize (in this case, the end of proof marker is in a line of its > own). The main macro for putting the proof marker on the right is from > Paul Taylor's qed.sty. If you want to test this, I can send you the > file offlist. This file is not in a state to be merged into the core > right now. Please send it to me ... Thanks, Oliver