From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/22123 Path: news.gmane.org!not-for-mail From: David Antos Newsgroups: gmane.comp.tex.context Subject: Re: Suitable mechanism for Theorems and Definitions Date: Wed, 24 Aug 2005 22:40:07 +0200 Message-ID: <20050824204007.GA2195@erik.fi.muni.cz> References: <20050819094833.GA7913@erik.fi.muni.cz> <20050821122716.GA10883@erik.fi.muni.cz> <4308A106.70305@elvenkind.com> <20050821162208.GA16657@erik.fi.muni.cz> <430CD228.9050105@hccnet.nl> 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 1124916209 13160 80.91.229.2 (24 Aug 2005 20:43:29 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Wed, 24 Aug 2005 20:43:29 +0000 (UTC) Original-X-From: ntg-context-bounces@ntg.nl Wed Aug 24 22:43:22 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 1E824N-0003pJ-03 for gctc-ntg-context-518@m.gmane.org; Wed, 24 Aug 2005 22:41:59 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id BDE59127B0; Wed, 24 Aug 2005 22:41:58 +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 23704-06; Wed, 24 Aug 2005 22:41:58 +0200 (CEST) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id EEF8C1279B; Wed, 24 Aug 2005 22:40:12 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id DD9A01279B for ; Wed, 24 Aug 2005 22:40:10 +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 23704-05 for ; Wed, 24 Aug 2005 22:40:10 +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 EA8C412783 for ; Wed, 24 Aug 2005 22:40:09 +0200 (CEST) Original-Received: by erik (Postfix, from userid 1000) id 441EB4BCFC; Wed, 24 Aug 2005 22:40:07 +0200 (CEST) Original-To: ntg-context@ntg.nl Mail-Followup-To: David Antos , ntg-context@ntg.nl Content-Disposition: inline In-Reply-To: <430CD228.9050105@hccnet.nl> 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:22123 Archived-At: On Wed, Aug 24, 2005 at 10:01:44PM +0200, Rob Ermers wrote: > In David's mail I found one of the problem I had been thinking of too, > and I tried his code. Unfortionately, it does not work. > ... > A case consists of the following elements: > > Case 1 Eating fruit is healthy > Text text text - case description -- Hi, I've sent Rob my style file in full, the excerpt in the mail was not indended to run, only as a demonstration of the idea. (If anyone wants to share my styles and hacks, I'll eventually publish it on the Wiki. It is now quite unstable but I have quite brute-force macros to typeset algorithms. Ugly but suits me fine :-) I'm pretty sure that Rob's "case descriptions" are completely the same as my named theorems, at least in terms of macro mechanisms needed. BTW, does anyone know the correct way to obtain current description generated number? Just asking again... ;-) D.A. -- Clothes make the man. Naked people have little or no influence on society. -- Mark Twain