From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/33188 Path: news.gmane.org!not-for-mail From: Aditya Mahajan Newsgroups: gmane.comp.tex.context Subject: Re: Theorems, etc with ConTeXt Date: Mon, 5 Feb 2007 19:39:20 -0500 (EST) Message-ID: References: <45B0975A.10704@elvenkind.com> Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="11256900-11071-1170722360=:2248" X-Trace: sea.gmane.org 1170722389 11890 80.91.229.12 (6 Feb 2007 00:39:49 GMT) X-Complaints-To: usenet@sea.gmane.org NNTP-Posting-Date: Tue, 6 Feb 2007 00:39:49 +0000 (UTC) To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Tue Feb 06 01:39:43 2007 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 1HEEN3-0003t0-91 for gctc-ntg-context-518@m.gmane.org; Tue, 06 Feb 2007 01:39:41 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id C19666D; Tue, 6 Feb 2007 01:38:45 +0100 (CET) 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 01788-03-10; Tue, 6 Feb 2007 01:38:37 +0100 (CET) Original-Received: from ronja.vet.uu.nl (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id C22BE62; Tue, 6 Feb 2007 01:38:37 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by ronja.ntg.nl (Postfix) with ESMTP id A251362 for ; Tue, 6 Feb 2007 01:38:34 +0100 (CET) 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 01788-03-9 for ; Tue, 6 Feb 2007 01:38:28 +0100 (CET) Original-Received: from skycaptain.mr.itd.umich.edu (smtp.mail.umich.edu [141.211.93.160]) by ronja.ntg.nl (Postfix) with ESMTP id 70D2761 for ; Tue, 6 Feb 2007 01:38:26 +0100 (CET) Original-Received: FROM aditya.annarb01.mi.comcast.net (c-68-40-50-205.hsd1.mi.comcast.net [68.40.50.205]) BY skycaptain.mr.itd.umich.edu ID 45C7CE37.A7AE8.10554 ; 5 Feb 2007 19:39:19 -0500 In-Reply-To: <45B0975A.10704@elvenkind.com> X-Virus-Scanned: amavisd-new at ntg.nl X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.9 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:33188 Archived-At: This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --11256900-11071-1170722360=:2248 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed On Fri, 19 Jan 2007, Taco Hoekwater wrote: > Aditya Mahajan wrote: >> >> 4. The theorem should have a title. The title should be optional. >>> Is partially implemented > > I used to work around that by defining a layer on top of the > enumerations that always define the enumeration's settings > on the fly. Quite inefficient, but it worked OK. Support in the > core would be much nicer, though. Here is my first attempt. I added new keys titleleft, titleright, and titlecommand to provide more customization. The solution is not pretty, mainly because title was an afterthought, rather than being there from the beginning. % This is the usual visual output \defineenumeration [lemma] [ title=yes, text=Lemma, titledistance=.5em, textdistance=1em, titlestyle=bold, titleleft=(, titleright=), stopper=., location=hanging, style=italic, ] \startlemma {with a title of a certain length} \input tufte \stoplemma \startlemma With no title \input tufte \stoplemma Basically, works with and without any title. The list of enumerations does not look good, and I do not know how to configure it. >> The last things, that is the end of proof marker, is right now not >> possible in ConTeXt. There are a lot of things that need to be taken >> care of while having a end-of-proof marker: basically, you need to >> ensure that there is no page break between the proof and the marker. >> Also the marker needs to be moved up or down, depending on how the >> proof ends. At the very least, ConTeXt should have something that >> ensures that the end of proof marker does not go onto a page of its >> own. > > End of proof markers are a pain, and I see no easy solution. I will try to implement a rudimetary support for end of proof markers, something similar to what amsthm does. The right way to do it is too complicated for me to understand :-( The code is attached and suggestions for improvement are welcome. Aditya --11256900-11071-1170722360=:2248 Content-Type: TEXT/PLAIN; charset=US-ASCII; name=test.tex Content-Transfer-Encoding: BASE64 Content-ID: Content-Description: Content-Disposition: attachment; filename=test.tex XHVucHJvdGVjdA0KDQolRCBUZW1wb3JhcnkNCg0KXGRlZlxjIXRpdGxlbGVm dHt0aXRsZWxlZnR9DQpcZGVmXGMhdGl0bGVyaWdodHt0aXRsZXJpZ2h0fQ0K XGRlZlxjIXRpdGxlY29tbWFuZHt0aXRsZWNvbW1hbmR9DQoNCiVEIFRvIGJl IGFkZGVkIHRvIHN5c3QtZXh0LnRleCANCg0KXGRlZlxkb3dpdGhvcHRhcmd1 bWVudCMxJQ0KICB7XGRlZlx1c2VvbmVhcmd1bWVudCMjMXsjMXsjIzF9fQ0K ICAgXGRlZlxmYWtlb25lYXJndW1lbnR7IzF7fX0NCiAgIFxkb2lmbmV4dGNo YXJlbHNlXGJncm91cHtcdXNlb25lYXJndW1lbnR9e1xmYWtlb25lYXJndW1l bnR9fQ0KDQoNCiVEIFBhdGNoIGZvciBjb3JlLWRlcy50ZXgNCg0KXGRlZlxA QHN0YXJ0ZGVzY3JpcHRpb25bIzFdWyMyXSUNCiAge1xkZWZcY3VycmVudGRl c2NyaXB0aW9ueyMxfSUNCiAgIFxkb2lmZWxzZXtcZGVzY3JpcHRpb25wYXJh bWV0ZXJcYyF0aXRsZX1cdiF5ZXMNCiAgICAge1xkb3dpdGhvcHRhcmd1bWVu dHtcQEBzdGFydHNvbWVkZXNjcmlwdGlvbnsjMX1bIzJdfX0NCiAgICAge1xA QHN0YXJ0c29tZWRlc2NyaXB0aW9ueyMxfVsjMl17fX19DQoNClxkZWZcQEBk ZXNjcmlwdGlvblsjMV1bIzJdJQ0KICB7XGRlZlxjdXJyZW50ZGVzY3JpcHRp b257IzF9JQ0KICAgXGRvaWZlbHNle1xkZXNjcmlwdGlvbnBhcmFtZXRlclxj IXRpdGxlfVx2IXllcw0KICAgICB7XGRvd2l0aG9wdGFyZ3VtZW50e1xAQHNv bWVkZXNjcmlwdGlvbnsjMX1bIzJdfX0NCiAgICAge1xAQHNvbWVkZXNjcmlw dGlvbnsjMX1bIzJde319fQ0KDQpcZGVmXHNwZWNpYWxAQGRlc2NyaXB0aW9u aGFuZGxlclsjMV0jMiMzJQ0KICB7XHN0cnV0DQogICBcZG9pZmVsc2V7XGRl c2NyaXB0aW9ucGFyYW1ldGVyXGMhbnVtYmVyfVx2IW5vDQogICAgIFwhIWRv bmVhZmFsc2V7XGRvaWZlbHNleyMxfXstfVwhIWRvbmVhZmFsc2VcISFkb25l YXRydWV9JQ0KICAgXGNoYXJkZWZcZGVzY3JpcHRpb25jb3VwbGluZ1x6ZXJv Y291bnQNCiAgIFxpZmxvY2F0aW9uDQogICAgIFxkb2lmc29tZXRoaW5ne1xk ZXNjcmlwdGlvbnBhcmFtZXRlclxjIWNvdXBsaW5nfQ0KICAgICAgIHtccHJv Y2Vzc2FjdGlvbiAlIGdlbmVyZWVydCA+IG9mIDwNCiAgICAgICAgICBbXGRl c2NyaXB0aW9ucGFyYW1ldGVyXGMhY291cGxpbmd3YXldDQogICAgICAgICAg WyBcdiFsb2NhbD0+XGNoYXJkZWZcZGVzY3JpcHRpb25jb3VwbGluZ1xwbHVz b25lLCAlIG9sZDogZGVmYXVsdA0KICAgICAgICAgICBcdiFnbG9iYWw9Plxj aGFyZGVmXGRlc2NyaXB0aW9uY291cGxpbmdccGx1c3R3b119JSBuZXc6IGds b2JhbCBjcm9zc2xpbmtpbmcNCiAgIFxmaQ0KICAgXHNldHVwbnVtYmVyICUg dGhlIG51bWJlciBpcyBjYWxsZWQgaW5kaXJlY3RseQ0KICAgICBbXGN1cnJl bnRkZXNjcmlwdGlvbm51bWJlcl0NCiAgICAgW1xjIXNlY3Rpb25udW1iZXI9 XGRlc2NyaXB0aW9ucGFyYW1ldGVyXGMhc2VjdGlvbm51bWJlcl0lDQogICBc aWYhIWRvbmVhDQogICAgIFxtYWtlcHJlY2VkaW5nc2VjdGlvbm51bWJlcltc Y3VycmVudGRlc2NyaXB0aW9ubnVtYmVyXSUNCiAgICAgXHByZXBhcmVwcmVm aXhudW1iZXJ7XD8/ZGRcY3VycmVudGRlc2NyaXB0aW9ufVxwcmVjZWRpbmdz ZWN0aW9ubnVtYmVyXHByZXBhcmVkbnVtYmVyDQogICAgIFxpZnRyaWFsdHlw ZXNldHRpbmdcc3RhcnRsb2NhbFxmaQ0KICAgICBcZ2V0dmFsdWV7XGUhbmV4 dFxjdXJyZW50ZGVzY3JpcHRpb259JSB0cmlja3kgYnV0IHdlIG5lZWQgdGhl IHByZXJvbGwNCiAgICAgXGlmdHJpYWx0eXBlc2V0dGluZ1xzdG9wbG9jYWxc ZmkNCiAgICAgJSBcZ2V0dmFsdWV7XGUhbmV4dCMyIzF9JQ0KICAgICBcaWZs b2NhdGlvbg0KICAgICAgIFxiZ3JvdXANCiAgICAgICBcbGV0dmFsdWV7XD8/ ZGRcY3VycmVudGRlc2NyaXB0aW9uXGMhc2VjdGlvbm51bWJlcn1cdiF5ZXMN CiAgICAgICBccHJvdGVjdGNvbnZlcnNpb24NCiAgICAgICBcbWFrZXByZWNl ZGluZ3NlY3Rpb25udW1iZXJbXGN1cnJlbnRkZXNjcmlwdGlvbm51bWJlcl0l DQogICAgICAgXHByZXBhcmVwcmVmaXhudW1iZXJ7XD8/ZGRcY3VycmVudGRl c2NyaXB0aW9ufVxwcmVjZWRpbmdzZWN0aW9ubnVtYmVyXHByZXBhcmVkbnVt YmVyDQogICAgICAgXGlmY2FzZVxkZXNjcmlwdGlvbmNvdXBsaW5nIFxvcg0K ICAgICAgICAgXHhkZWZcQEBpbnRlcm5hbGVudW1iZXJ7XGRvc2hvd2RubnVt YmVyfSUNCiAgICAgICAgIFxyYXdyZWZlcmVuY2VccyFudW17IzE6XEBAaW50 ZXJuYWxlbnVtYmVyfXt9JQ0KICAgICAgIFxvcg0KICAgICAgICAgXHhkZWZc QEBpbnRlcm5hbGVudW1iZXJ7XGNvdW50ZXJ2YWx1ZXtcPz9kZFxjIWNvdXBs aW5nXGN1cnJlbnRkZXNjcmlwdGlvbn19JQ0KICAgICAgICAgXHJhd3JlZmVy ZW5jZVxzIW51bXtcY3VycmVudGRlc2NyaXB0aW9uOlxAQGludGVybmFsZW51 bWJlcn17fSUNCiAgICAgICBcZmkNCiAgICAgICBcZWdyb3VwDQogICAgIFxm aQ0KICAgICVcbWFrZXByZWNlZGluZ3NlY3Rpb25udW1iZXJbXGN1cnJlbnRk ZXNjcmlwdGlvbm51bWJlcl0lDQogICAgJVxwcmVwYXJlcHJlZml4bnVtYmVy e1w/P2RkXGN1cnJlbnRkZXNjcmlwdGlvbn1ccHJlY2VkaW5nc2VjdGlvbm51 bWJlclxwcmVwYXJlZG51bWJlcg0KICAgICBcZGlzYWJsZXBzZXVkb2NhcHMg ICAlIHNvcnJ5LCB1cHBlcmNhc2UgY2F1c2VzIHRyb3VibGVzDQogICAgIFxk b2F0dHJpYnV0ZXMgICAgICAgICUgXG5vY2FzZSBwcmltaXRpdmUgbmVlZGVk DQogICAgICAge1w/P2RkXGN1cnJlbnRkZXNjcmlwdGlvbn1cYyFoZWFkc3R5 bGVcYyFoZWFkY29sb3IgJSB0b2RvOiBzdWIgYXMgd2VsbA0KICAgICAgIHtc ZGVzY3JpcHRpb25wYXJhbWV0ZXJcYyFjb21tYW5kDQogICAgICAgICAge1xz aG93ZG50ZXh0DQolICAgICAgICAgICAgXGRvbWFrZWRubnVtYmVyICUgcmln aHQgc2hvdWxkIGJlIGFmdGVyIHRoZSB0aXRsZQ0KICAgICAgICAgICAgXGRl c2NyaXB0aW9ucGFyYW1ldGVyXGMhbGVmdA0KICAgICAgICAgICAgXHN0cnV0 XGRvc2hvd2RubnVtYmVyDQogICAgICAgICAgIFxkb2lme1xkZXNjcmlwdGlv bnBhcmFtZXRlclxjIXRpdGxlfVx2IXllcyAlIG5ldywgZm9yIGRhdmlkIGFu dG9zDQogICAgICAgICAgICB7XGRvaWZzb21ldGhpbmd7IzJ9DQogICAgICAg ICAgICAge1xkb2F0dHJpYnV0ZXN7XD8/ZGRcY3VycmVudGRlc2NyaXB0aW9u fVxjIXRpdGxlc3R5bGVcYyF0aXRsZWNvbG9yDQogICAgICAgICAgICAgICAg e1xoc2tpcFxkZXNjcmlwdGlvbnBhcmFtZXRlclxjIXRpdGxlZGlzdGFuY2Ul DQolICAgICAgICAgICAgICAgICAgIFxkZXNjcmlwdGlvbnBhcmFtZXRlclxj IXRpdGxlY29tbWFuZCUNCiAgICAgICAgICAgICAgICAgIHtcZGVzY3JpcHRp b25wYXJhbWV0ZXJcYyF0aXRsZWxlZnQlDQogICAgICAgICAgICAgICAgICAg IFxiZWdzdHJ1dCMyXGVuZHN0cnV0JQ0KICAgICAgICAgICAgICAgICAgXGRl c2NyaXB0aW9ucGFyYW1ldGVyXGMhdGl0bGVyaWdodH19fX0lDQogICAgICAg ICAgICAgJSBSZW1haW5pbmcgcGFydCBvZiBcZG9tYWtlZG5udW1iZWQNCiAg ICAgICAgICAgICBcZGVzY3JpcHRpb25wYXJhbWV0ZXJcYyFzdG9wcGVyDQog ICAgICAgICAgICAgXGRlc2NyaXB0aW9ucGFyYW1ldGVyXGMhcmlnaHQNCiAg ICAgICAgICAgfX0lIFxjIWNvbW1hbmQgaXMgaG9vayBmb3IgdGFjbw0KICAg ICBcZG9pZnNvbWV0aGluZ3tcZGVzY3JpcHRpb25wYXJhbWV0ZXJcYyFsaXN0 fSAlIGFsc28gZm9yIGRhdmlkIGFudG9zDQogICAgICAge1xkb3dyaXRldG9s aXN0DQogICAgICAgICAge1xkZXNjcmlwdGlvbnBhcmFtZXRlclxjIXR5cGU6 XGRlc2NyaXB0aW9ucGFyYW1ldGVyXGMhbGlzdH0NCiAgICAgICAgICB7XHNo b3dkbmxpc3R0ZXh0XGRvc2hvd2RubnVtYmVyfXsjMn17XGN1cnJlbnRkZXNj cmlwdGlvbn19JQ0KICAgICBcaWZsb2NhdGlvblxpZmNhc2VcZGVzY3JpcHRp b25jb3VwbGluZyBcZWxzZQ0KICAgICAgIFxlZGVmXGxvY2FsY29ubmVjdGlv bntcZGVzY3JpcHRpb25wYXJhbWV0ZXJcYyFjb3VwbGluZzpcQEBpbnRlcm5h bGVudW1iZXJ9JQ0KICAgICAgIFxkb2lmcmVmZXJlbmNlZm91bmRlbHNlXGxv Y2FsY29ubmVjdGlvbg0KICAgICAgICAge1xpbltcbG9jYWxjb25uZWN0aW9u XX1cZG9ub3RoaW5nICUgZ2VuZXJlZXJ0ID4gb2YgPA0KICAgICBcZmlcZmkN CiAgICAgXGRvaWZub3R7IzF9ey19e1xyYXdyZWZlcmVuY2VccyFudW17IzF9 e1xkb3Nob3dkbm51bWJlcn19JQ0KICBcZWxzZSAlIFdoeSB3YXMgdGhpcyBz dHJhbmdlIGV4cGFuc2lvbiBuZWVkZWQ/DQogICAgIFxlZGVmXCEhc3RyaW5n YXtcc2hvd2RucHVyZXRleHR9JSBub2cgZWVucyB0ZXN0ZW4gYmlubmVuIFxl eHBhbmRlZA0KICAgICBcZXhwYW5kZWR7XGRvYXR0cmlidXRlc3tcPz9kZFxj dXJyZW50ZGVzY3JpcHRpb259XG5vZXhwYW5kXGMhaGVhZHN0eWxlXG5vZXhw YW5kXGMhaGVhZGNvbG9yDQogICAgICAge1xub2V4cGFuZFxkZXNjcmlwdGlv bnBhcmFtZXRlclxub2V4cGFuZFxjIWNvbW1hbmR7XCEhc3RyaW5nYX19fSUN CiAgICAgXGRvaWZub3R7IzF9ey19e1xyYXdyZWZlcmVuY2VccyFudW17IzF9 e319JQ0KICAgXGZpfQ0KXHByb3RlY3QNCg0KXHN0YXJ0dGV4dA0KDQpcZGVm aW5lZW51bWVyYXRpb24NCiAgW2xlbW1hXQ0KICBbICAgICAgICAgICAgIHRp dGxlPXllcywNCiAgICAgICAgICAgICAgICAgdGV4dD1MZW1tYSwNCiAgICAg ICAgdGl0bGVkaXN0YW5jZT0uNWVtLA0KICAgICAgICAgdGV4dGRpc3RhbmNl PTFlbSwNCiAgICUgICAgICAgICAgICAgbGVmdD0qKiosDQogICAlICAgICAg ICAgICAgcmlnaHQ9KiosDQogICAlICAgICAgICAgIGNvbW1hbmQ9XGZyYW1l ZCwNCiAgICUgICAgIHRpdGxlY29tbWFuZD1caW5mcmFtZWQsDQogICAgICAg ICAgIHRpdGxlc3R5bGU9Ym9sZCwNCiAgICAgICAgICAgIHRpdGxlbGVmdD0o LA0KICAgICAgICAgICB0aXRsZXJpZ2h0PSksDQogICAgICAgICAgICAgIHN0 b3BwZXI9LiwNCiAgICAgICAgICAgICBsb2NhdGlvbj1oYW5naW5nLA0KICAg ICAgICAgICAgICAgIHN0eWxlPWl0YWxpYywNCiAgXQ0KDQpcc3RhcnRsZW1t YVtsZW1tYSAxXSB7d2l0aCBhIHRpdGxlIG9mIGEgY2VydGFpbiBsZW5ndGh9 IA0KICBcaW5wdXQgdHVmdGUgDQpcc3RvcGxlbW1hDQoNClxzdGFydGxlbW1h W2xlbW1hIDJdDQogIFdpdGggbm8gdGl0bGUgDQogIFxpbnB1dCB0dWZ0ZSAN ClxzdG9wbGVtbWENCg0KV2UgaGF2ZSB0d28gbGVtbWFzLCBcaW4gTGVtbWFb bGVtbWEgMV0gYW5kIFxpbiBMZW1tYVtsZW1tYSAyXS4NCg0KXHN0b3B0ZXh0 DQo= --11256900-11071-1170722360=:2248 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ ntg-context mailing list ntg-context@ntg.nl http://www.ntg.nl/mailman/listinfo/ntg-context --11256900-11071-1170722360=:2248--