From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/33646 Path: news.gmane.org!not-for-mail From: Aditya Mahajan Newsgroups: gmane.comp.tex.context Subject: Re: Theorems, etc with ConTeXt Date: Fri, 2 Mar 2007 20:44:24 -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 1172886293 5848 80.91.229.12 (3 Mar 2007 01:44:53 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sat, 3 Mar 2007 01:44:53 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Sat Mar 03 02:44:47 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 1HNJIj-0006gX-5T for gctc-ntg-context-518@m.gmane.org; Sat, 03 Mar 2007 02:44:45 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 89AE420090; Sat, 3 Mar 2007 02:40:51 +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 09454-02; Sat, 3 Mar 2007 02:40:44 +0100 (CET) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id E93EF20084; Sat, 3 Mar 2007 02:40:43 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id D07D020088 for ; Sat, 3 Mar 2007 02:40:41 +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 09300-04-2 for ; Sat, 3 Mar 2007 02:40:36 +0100 (CET) Original-Received: from hackers.mr.itd.umich.edu (smtp.mail.umich.edu [141.211.14.81]) by ronja.ntg.nl (Postfix) with ESMTP id BA53120044 for ; Sat, 3 Mar 2007 02:40:35 +0100 (CET) Original-Received: FROM aditya.annarb01.mi.comcast.net (c-68-40-50-205.hsd1.mi.comcast.net [68.40.50.205]) BY hackers.mr.itd.umich.edu ID 45E8D2F9.B7AF3.25581 ; 2 Mar 2007 20:44:25 -0500 In-Reply-To: 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:33646 Archived-At: Hi Oliver, On Mon, 29 Jan 2007, Oliver Buerschaper wrote: > Hi Aditya, hi Taco, > > I would really love to see built-in support for theorems in ConTeXt! I have rudimentary support for titled theorems and end of proof markers working. It also takes care of your bug-report. > I have been typesetting my diploma thesis (in mathematical physics) > with ConTeXt and my experience has been that in some areas ConTeXt > still needs to catch up a bit on LaTeX (especially on the AMS > packages), although it has definitely come along way already ... > > So far I have constructed my theorems etc. as enumerations on an > adhoc basis and - surprise - noted a few glitches here and there. > > 2. There is some odd behaviour concerning the options "right" and > "stopper" which I mentioned on the list a while ago. I believe this > is more an issue of descriptions/enumerations than anything else but > it would affect any theorem mechanism based on enumerations. Perhaps > this can be looked into at the same time as you're trying to cook up > generic theorems. I have patched core-des so that stopper is also honored when number=no is set. > Have you found out anything about the end of proof markers yet? I > haven't tried it out but how do the AMS folks handle this issue? > Unfortunately, I don't have the TeX programming experience (yet) to > start digging myself ... 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. Hans, why does core-des.tex define description parameter as: \def\descriptionparameter#1{\csname\??dd\currentdescription#1\endcsname} while in some other files, you had \def\....parameter#1{\executeifdefinedelse{\??..\current....#1}{\executeifdefined{\??..#1}} which prevents a lot of copying of parameters. Is core-des yet to be cleaned up? Aditya