From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/22048 Path: news.gmane.org!not-for-mail From: David Antos Newsgroups: gmane.comp.tex.context Subject: Re: Suitable mechanism for Theorems and Definitions Date: Sun, 21 Aug 2005 14:27:16 +0200 Message-ID: <20050821122716.GA10883@erik.fi.muni.cz> References: <20050819094833.GA7913@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=us-ascii X-Trace: sea.gmane.org 1124627390 28877 80.91.229.2 (21 Aug 2005 12:29:50 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Sun, 21 Aug 2005 12:29:50 +0000 (UTC) Original-X-From: ntg-context-bounces@ntg.nl Sun Aug 21 14:29:47 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 1E6ox1-0007zd-9C for gctc-ntg-context-518@m.gmane.org; Sun, 21 Aug 2005 14:29:23 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id EDDDB127DE; Sun, 21 Aug 2005 14:29:20 +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 19052-03; Sun, 21 Aug 2005 14:29:20 +0200 (CEST) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 982FA127CF; Sun, 21 Aug 2005 14:27:20 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id A1CFB127CF for ; Sun, 21 Aug 2005 14:27:19 +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 19052-02-2 for ; Sun, 21 Aug 2005 14:27:18 +0200 (CEST) Original-Received: from erik (bno-81-27-199-59.karneval.cz [81.27.199.59]) by ronja.ntg.nl (Postfix) with ESMTP id 668F3127BC for ; Sun, 21 Aug 2005 14:27:18 +0200 (CEST) Original-Received: by erik (Postfix, from userid 1000) id 618424C288; Sun, 21 Aug 2005 14:27:16 +0200 (CEST) Original-To: ntg-context@ntg.nl Mail-Followup-To: David Antos , ntg-context@ntg.nl Content-Disposition: inline In-Reply-To: <20050819094833.GA7913@erik.fi.muni.cz> User-Agent: Mutt/1.5.9i 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:22048 X-Report-Spam: http://spam.gmane.org/gmane.comp.tex.context:22048 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. -- Sir Humphrey: "The purpose of minutes is not to record events, it is to protect people." -- Yes, Prime Minister (Official Secrets)