From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/50910 Path: news.gmane.org!not-for-mail From: Xan Newsgroups: gmane.comp.tex.context Subject: Re: Theorems with arguments like amsthm--> demostration space Date: Sat, 30 May 2009 11:35:38 +0200 Message-ID: <4A20FDEA.4080006@telefonica.net> References: <4A202390.6050602@telefonica.net> <4A203BE0.5040208@telefonica.net> <4A203D14.90006@telefonica.net> <4A20FD1F.4060708@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 1243676207 30896 80.91.229.12 (30 May 2009 09:36:47 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 30 May 2009 09:36:47 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Sat May 30 11:36:44 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 1MAKzb-0007y4-Qz for gctc-ntg-context-518@m.gmane.org; Sat, 30 May 2009 11:36:43 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 745171FE0D; Sat, 30 May 2009 11:36:43 +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 25845-04; Sat, 30 May 2009 11:35:51 +0200 (CEST) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id EF1801FD60; Sat, 30 May 2009 11:35:50 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id 70E751FD60 for ; Sat, 30 May 2009 11:35:49 +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-4 for ; Sat, 30 May 2009 11:35:40 +0200 (CEST) Original-Received: from filter3-ams.mf.surf.net (filter3-ams.mf.surf.net [192.87.102.71]) by ronja.ntg.nl (Postfix) with ESMTP id 7C3C21FD5A for ; Sat, 30 May 2009 11:35:40 +0200 (CEST) Original-Received: from ctsmtpout2.frontal.correo (outmailhost.telefonica.net [213.4.149.242]) by filter3-ams.mf.surf.net (8.13.8/8.13.8/Debian-3) with ESMTP id n4U9NGRX032510 for ; Sat, 30 May 2009 11:23:16 +0200 Original-Received: from [172.26.0.4] (81.37.196.250) by ctsmtpout2.frontal.correo (7.2.056.6) (authenticated as dxpublica) id 4A1E4E5F00067BFF for ntg-context@ntg.nl; Sat, 30 May 2009 11:35:39 +0200 User-Agent: Thunderbird 2.0.0.21 (X11/20090318) In-Reply-To: <4A20FD1F.4060708@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: 234505404 - f2f682bf5ac5 - 20090530 X-Scanned-By: CanIt (www . roaringpenguin . com) on 192.87.102.71 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:50910 Archived-At: VGhpbmtpbmcgYWJvdXQgc3BhY2VzLi4uLiBhbnlvbmUga25vd3MgaG93IHRvIHB1dCBsZXNzIHNw YWNlIGJldHdlZW4gCnRleHQgIkRlbW9zdHJhY2nDsyIgYW5kIHRoZSB0ZXh0IGl0c2VsZiBpbiB0 aGlzIGVudmlyb25tZW50PzoKClxkZWZpbmVkZXNjcmlwdGlvbltkZW1vXVtsb2NhdGlvbj1zZXJy aWVkLHRleHQ9e0RlbW9zdHJhY2nDsy59LApoZWFkc3R5bGU9Ym9sZCxpbmRlbnRuZXh0PXllcyxi ZXR3ZWVuPVxibGFuayx0ZXh0ZGlzdGFuY2U9MGVtLApjbG9zZXN5bWJvbD1cbWF0aGVtYXRpY3N7 XEJveH1dCgpcc3RhcnR0ZXh0ClxzdGFydGRlbW8gSG9sYQpcc3RvcGRlbW8KClxzdG9wdGV4dAoK ClRoYW5rcywKWGFuLgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSWYgeW91ciBxdWVzdGlv biBpcyBvZiBpbnRlcmVzdCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNlIGFkZCBhbiBlbnRyeSB0 byB0aGUgV2lraSEKCm1haWxsaXN0IDogbnRnLWNvbnRleHRAbnRnLm5sIC8gaHR0cDovL3d3dy5u dGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4dAp3ZWJwYWdlICA6IGh0dHA6Ly93d3cu cHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly90ZXguYWFuaGV0Lm5ldAphcmNoaXZlICA6IGh0dHBzOi8v Zm91bmRyeS5zdXBlbGVjLmZyL3Byb2plY3RzL2NvbnRleHRyZXYvCndpa2kgICAgIDogaHR0cDov L2NvbnRleHRnYXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCg==