From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/22055 Path: news.gmane.org!not-for-mail From: Taco Hoekwater Newsgroups: gmane.comp.tex.context Subject: Re: Suitable mechanism for Theorems and Definitions Date: Sun, 21 Aug 2005 17:43:02 +0200 Message-ID: <4308A106.70305@elvenkind.com> References: <20050819094833.GA7913@erik.fi.muni.cz> <20050821122716.GA10883@erik.fi.muni.cz> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: sea.gmane.org 1124639114 22083 80.91.229.2 (21 Aug 2005 15:45:14 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sun, 21 Aug 2005 15:45:14 +0000 (UTC) Original-X-From: ntg-context-bounces@ntg.nl Sun Aug 21 17:45:12 2005 Return-path: Original-Received: from ronja.vet.uu.nl ([131.211.172.88] helo=ronja.ntg.nl) by ciao.gmane.org with esmtp (Exim 4.43) id 1E6rzS-0006X2-Iz for gctc-ntg-context-518@m.gmane.org; Sun, 21 Aug 2005 17:44:07 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 5C88C12812; Sun, 21 Aug 2005 17:44:06 +0200 (CEST) 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 20639-01-4; Sun, 21 Aug 2005 17:44:03 +0200 (CEST) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id B291112803; Sun, 21 Aug 2005 17:44:03 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id DBFF912803 for ; Sun, 21 Aug 2005 17:44:01 +0200 (CEST) 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 20639-01-3 for ; Sun, 21 Aug 2005 17:44:00 +0200 (CEST) Original-Received: from post-25.mail.nl.demon.net (post-25.mail.nl.demon.net [194.159.73.195]) by ronja.ntg.nl (Postfix) with ESMTP id DE7EA127E2 for ; Sun, 21 Aug 2005 17:43:58 +0200 (CEST) Original-Received: from boo.demon.nl ([82.161.175.147]:47562 helo=[192.168.1.3]) by post-25.mail.nl.demon.net with esmtp (Exim 4.51) id 1E6rzK-000KnF-6r for ntg-context@ntg.nl; Sun, 21 Aug 2005 15:43:58 +0000 User-Agent: Mozilla Thunderbird 1.0 (X11/20050215) X-Accept-Language: en-us, en Original-To: mailing list for ConTeXt users In-Reply-To: <20050821122716.GA10883@erik.fi.muni.cz> X-Virus-Scanned: amavisd-new at ntg.nl X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.5 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-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on smtp.ntg.nl X-Virus-Scanned: amavisd-new at ntg.nl Xref: news.gmane.org gmane.comp.tex.context:22055 X-Report-Spam: http://spam.gmane.org/gmane.comp.tex.context:22055 Hi David, I saw this post and thought: "didn't I have a similar problem a while back"? And yes, I did, while I was stil working for Kluwer Academic. The "a while" turned out to be around 1999, and the code (hack) I used back then is no longer even remotely usable (for one because context was still in dutch, then), but I'll see if I can update my patch. Taco David Antos wrote: > Hello, > > I'll try to be more exact in my question to prevent empty answer now :-) > > On Fri, Aug 19, 2005 at 11:48:34AM +0200, David Antos wrote: > >>I've used enumeration features for typesetting Theorems, Lemmas, and >>Definitions. Two extra requirements appeared. Is this possible to create >>lists of those entities (something like \placelistofTheorems :-)? >> >>And is there a way to add names to them, resulting in something like >> >>Definition 4.3: Interval Decision Diagram Node >>blahblah > > > What I need is to enrich enumerations by the possibility to write into > list. How can I get the number of the current enumeration? The resulting > list should be something like > Definition 4.3 ....... pagenumber > > I've managed something like > \expanded{\writetolist[MyList]{\precedingsectionnumber\numberTheorem}{}}} > (hooked into inbetween of defineenumeration) work, but it works for the > first level of enumerations only (i.e., not for \subdefinition) (well, I > don't mind it so much, but there should be a better way indeed). What is > the "politically-correct" way of obtaining the "4.3" number? > > Second: I want some of the definitions to have names (to appear in the > list, too). The idea now is to re-define \startDefinition so that it > 1. globaly defines a macro for the content of the name > 2. the old \startDefinition will typeset > Definition 4.3: Interval Decision Diagram Node > and puts > Definition 4.3 (Interval ...) ... pagenumber > into the list, both by means of hooking into "inbetween". > > Is this "simple enough" or is there a better way to do this? BTW, is it > reasonable to enrich enumerations with the possibility to create lists and > with "names"? What would be great for things like definitions and lemmas is > something that combines descriptions (that have names but no numbering) and > enumerations (that have exactly the opposite features). > > Thank you, > D.A. >