From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/50909 Path: news.gmane.org!not-for-mail From: Xan Newsgroups: gmane.comp.tex.context Subject: Re: Theorems with arguments like amsthm Date: Sat, 30 May 2009 11:32:15 +0200 Message-ID: <4A20FD1F.4060708@telefonica.net> References: <4A202390.6050602@telefonica.net> <4A203BE0.5040208@telefonica.net> <4A203D14.90006@telefonica.net> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1243676006 30499 80.91.229.12 (30 May 2009 09:33:26 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 30 May 2009 09:33:26 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Sat May 30 11:33:22 2009 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 1MAKwL-0006se-Cb for gctc-ntg-context-518@m.gmane.org; Sat, 30 May 2009 11:33:21 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 683CF1FDE8; Sat, 30 May 2009 11:33: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 26964-01-2; Sat, 30 May 2009 11:32:38 +0200 (CEST) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 263281FD5C; Sat, 30 May 2009 11:32:38 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id B4FB91FD5A for ; Sat, 30 May 2009 11:32:35 +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 26964-01 for ; Sat, 30 May 2009 11:32:25 +0200 (CEST) Original-Received: from filter3-til.mf.surf.net (filter3-til.mf.surf.net [194.171.167.219]) by ronja.ntg.nl (Postfix) with ESMTP id 7B2D51FD5C for ; Sat, 30 May 2009 11:32:25 +0200 (CEST) Original-Received: from ctsmtpout4.frontal.correo (outmailhost.telefonica.net [213.4.149.242]) by filter3-til.mf.surf.net (8.13.8/8.13.8/Debian-3) with ESMTP id n4U9WOCk011534 for ; Sat, 30 May 2009 11:32:25 +0200 Original-Received: from [172.26.0.4] (81.37.196.250) by ctsmtpout4.frontal.correo (7.2.056.6) (authenticated as dxpublica) id 4A13D9BC00219CA9 for ntg-context@ntg.nl; Sat, 30 May 2009 11:32:15 +0200 User-Agent: Thunderbird 2.0.0.21 (X11/20090318) In-Reply-To: <4A203D14.90006@telefonica.net> X-Bayes-Prob: 0.0001 (Score 0, tokens from: @@RPTN) X-CanIt-Geo: ip=213.4.149.242; country=ES; region=29; city=Madrid; latitude=40.4000; longitude=-3.6833; http://maps.google.com/maps?q=40.4000,-3.6833&z=6 X-CanItPRO-Stream: uu:ntg-context@ntg.nl (inherits from uu:default, base:default) X-Canit-Stats-ID: 234504354 - d7d5b803bb26 - 20090530 X-Scanned-By: CanIt (www . roaringpenguin . com) on 194.171.167.219 X-Virus-Scanned: amavisd-new at ntg.nl X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.11 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:50909 Archived-At: Cj4gSGkgWGFuLAo+Cj4gVGhhbmtzIHRvIHlvdXIgZXhhbXBsZSBhbmQgQWRpdHlhJ3MgZXhwbGFu YW50aW9uIEkgbGVhcm5lZCB0b2/igKYKPiAgIAoKSSdtIGdsYWQgZm9yIHRoYXQgOi0pCj4gSGVy ZSBpcyBob3cgeW91IGNhbiBnZXQgd2hhdCB5b3Ugd2FudDoKPgo+ICUlJSBiZWdpbiBleGFtcGxl Cj4KPiBcZGVmaW5lZW51bWVyYXRpb25bbGVtbWFdJQo+IAlbdGV4dD17TGVtbWF9LAo+IAloZWFk c3R5bGU9Ym9sZCwKPiAJYmV0d2Vlbj1cYmxhbmssCj4gCXRpdGxlZGlzdGFuY2U9MGVtLAo+IAl0 ZXh0ZGlzdGFuY2U9MWVtLAo+IAlzdG9wcGVyPXsuXHNwYWNlfSwKPiAJbG9jYXRpb249c2Vycmll ZCwKPiAJbGVmdD17XGJncm91cFxiZn0sCj4gCXJpZ2h0PXtcZWdyb3VwfSwKPiAJd2lkdGg9Zml0 LAo+IAlzdHlsZT1pdGFsaWMsCj4gCXRpdGxlPXllcywKPiAJdGl0bGVkaXN0YW5jZT0uM2VtLAo+ IAl0aXRsZXN0eWxlPXNjXSAlIG9yIGl0YWxpYywgb3Igd2hhdGV2ZXIgeW91IGxpa2UKPgo+ICAg CgpJIHRoaW5rIHRpdGxlZGlzdGFuY2U9MWV4IGlzIGJldHRlciBzcGFjaW5nLiBJIGRvbicgdCBr bm93IHdoYXQgaXMgCmV4YWN0bHkgdGhlIHNwYWNlIGJldHdlZW4gbnVtYmVyIGFuZCAoKS4gV2hh dCB3aWR0aCBoYXMgc3BhY2U/Cj4gXHN0YXJ0dGV4dAo+Cj4gXHN0YXJ0bGVtbWFbcmVmZXJlbmNl XXsgQSBicmlsbGlhbnQgcmVzdWx0fQo+IElmICRhPTIkIHRoZW4gdGhlIHNldCAkSChhKSQgaXMg bm90IGVtcHR5Lgo+IFxzdG9wbGVtbWEKPgo+IFxzdG9wdGV4dAo+Cj4gJSUlIGVuZCBleGFtcGxl Cj4KPgo+IEJlc3QgcmVnYXJkczogT0sKPiAgIAoKVGhhbmtzIHRvIHlvdSwgT3RhcmVkLgoKWGFu LgoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCklmIHlvdXIgcXVlc3Rpb24gaXMgb2YgaW50 ZXJlc3QgdG8gb3RoZXJzIGFzIHdlbGwsIHBsZWFzZSBhZGQgYW4gZW50cnkgdG8gdGhlIFdpa2kh CgptYWlsbGlzdCA6IG50Zy1jb250ZXh0QG50Zy5ubCAvIGh0dHA6Ly93d3cubnRnLm5sL21haWxt YW4vbGlzdGluZm8vbnRnLWNvbnRleHQKd2VicGFnZSAgOiBodHRwOi8vd3d3LnByYWdtYS1hZGUu bmwgLyBodHRwOi8vdGV4LmFhbmhldC5uZXQKYXJjaGl2ZSAgOiBodHRwczovL2ZvdW5kcnkuc3Vw ZWxlYy5mci9wcm9qZWN0cy9jb250ZXh0cmV2Lwp3aWtpICAgICA6IGh0dHA6Ly9jb250ZXh0Z2Fy ZGVuLm5ldApfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwo=