From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/100776 Path: news.gmane.org!.POSTED!not-for-mail From: Jeong Dal Newsgroups: gmane.comp.tex.context Subject: blank line at the beginning of the theorem or proof Date: Sat, 12 May 2018 19:53:17 +0900 Message-ID: References: Reply-To: mailing list for ConTeXt users NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 (Mac OS X Mail 11.3 \(3445.6.18\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Trace: blaine.gmane.org 1526122327 24260 195.159.176.226 (12 May 2018 10:52:07 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 12 May 2018 10:52:07 +0000 (UTC) To: ntg-context@ntg.nl Original-X-From: ntg-context-bounces@ntg.nl Sat May 12 12:52:03 2018 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane.org Original-Received: from zapf.boekplan.nl ([5.39.185.232] helo=zapf.ntg.nl) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fHS8A-0006C8-3c for gctc-ntg-context-518@m.gmane.org; Sat, 12 May 2018 12:52:02 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 1FD3F265D8; Sat, 12 May 2018 12:53:37 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at zapf.boekplan.nl Original-Received: from zapf.ntg.nl ([127.0.0.1]) by localhost (zapf.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id b_C1ZEL-d3FS; Sat, 12 May 2018 12:53:35 +0200 (CEST) Original-Received: from zapf.ntg.nl (localhost [IPv6:::1]) by zapf.ntg.nl (Postfix) with ESMTP id 36623265D1; Sat, 12 May 2018 12:53:35 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 5C65D265D1 for ; Sat, 12 May 2018 12:53:34 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at zapf.boekplan.nl Original-Received: from zapf.ntg.nl ([127.0.0.1]) by localhost (zapf.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id sRH_4uLrf8B9 for ; Sat, 12 May 2018 12:53:33 +0200 (CEST) Original-Received: from pv35p16im-ztdg05071101.me.com (pv35p16im-ztdg05071101.me.com [17.133.187.171]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by zapf.ntg.nl (Postfix) with ESMTPS id C53E7265CE for ; Sat, 12 May 2018 12:53:23 +0200 (CEST) Original-Received: from process-dkim-sign-daemon.pv35p16im-ztdg05071101.me.com by pv35p16im-ztdg05071101.me.com (Oracle Communications Messaging Server 8.0.1.2.20170607 64bit (built Jun 7 2017)) id <0P8M00G003E4ZH00@pv35p16im-ztdg05071101.me.com> for ntg-context@ntg.nl; Sat, 12 May 2018 10:53:22 +0000 (GMT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=me.com; s=04042017; t=1526122402; bh=EOJ5/CktfOEKofD72v4pfDxO97ryG0cNhrgoSRWsTbk=; h=From:Content-type:MIME-version:Subject:Date:To:Message-id; b=ufHQ+uecW4zK3ozJ/k7mYwYlPohXwbSHi8rszuybbJ1/cd9y1uM+bbfhL/DbOdDQm b2tGBWqI9wkykYKzAQjdZELEWKLjYOcWbnuG9dEyLUuF/p43V0Uax0h65sLydl0WWB agr9qYn2RB1jrpnUALYTQsiuIP1uJW7wWHXQQAt32XUVuUQoVWkh6h9Lzk9qQlI+oy 9RIbsw+qwNGFhRWWXmBDnKz3I6Ya8S6DVGrUDitIuknAgoBqpxQW/2Rw1bXJCUD+JE LwQXb895OwNL2NF7Wz3oytbA8Mse5boh0C4ZOFlh1kLqxg7Bq4C/AZdUixjNunUEWu I2Iq1zaCxQJLA== Original-Received: from icloud.com ([127.0.0.1]) by pv35p16im-ztdg05071101.me.com (Oracle Communications Messaging Server 8.0.1.2.20170607 64bit (built Jun 7 2017)) with ESMTPSA id <0P8M0069G3KUG010@pv35p16im-ztdg05071101.me.com> for ntg-context@ntg.nl; Sat, 12 May 2018 10:53:21 +0000 (GMT) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2018-05-11_10:,, signatures=0 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 spamscore=0 clxscore=1015 suspectscore=1 malwarescore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1707230000 definitions=main-1805120107 In-reply-to: X-Mailer: Apple Mail (2.3445.6.18) X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.16 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: ntg-context-bounces@ntg.nl Original-Sender: "ntg-context" Xref: news.gmane.org gmane.comp.tex.context:100776 Archived-At: RGVhciBhbGwsCgpwbGFjaW5nIGEgZmlndXJlIGF0IHRoZSByaWdodCBvciBsZWZ0IG9mIHRoZSB0 ZXh0IHVzaW5nIFxwbGFjZWZpZ3VyZVtyaWdodF1bXXt9e30gaW5zZXJ0IGF0IHRoZSBiZWdpbmlu ZyBvZiB0aGUgcGFyYWdyYXBoIHVuZGVyIHRoZSBlbnVtZXJhdGlvbnMgd2hpbGUgdGhlcmUgaXMg bm8gYmxhbmsgbGluZSBpZiB3ZSBjb21tZW50IG91dCBccGxhY2VmaWd1cmUuIFNlZSB0aGUgYmVs b3cgc2FtcGxlLgoKSXMgdGhlcmUgYSB3YXkgdG8gbWFrZSB0ZXh0IGJlZ2luIGZyb20gdGhlIHNh bWUgbGluZSBvZiDigJxUaGVvcmVtIDHigJ0gd2l0aCB0aGUgZmlndXJlIGF0IHRoZSByaWdodD8K ClRoYW5rIHlvdS4KCkJlc3QgcmVnYXJkcywKCkRhbHlvdW5nCgogXGRlZmluZWVudW1lcmF0aW9u W1RoZW9yZW1dCiAgIFt0ZXh0PXtcdHJhbnNsYXRlW2VuPVRoZW9yZW0sIGtyPeygleumrF19LAog ICAgc3R5bGU9LAogICAgdGl0bGU9eWVzLAogICAgcHJlZml4PXllcywKICAgIHByZWZpeHNlZ21l bnRzPWNoYXB0ZXIsCiAgICB3YXk9YnljaGFwdGVyLAogICAgbnVtYmVyPXllcywKICAgIGJlZm9y ZT17XGJsYW5rW2JpZ119LAogICAgYWZ0ZXI9XGJsYW5rXQoKXGRlZmluZWVudW1lcmF0aW9uW1By b29mXQogIFt0ZXh0PXtcdHJhbnNsYXRlW2VuPVByb29mLCBrcj3spp3rqoVdfSwKJSAgaGVhZHN0 eWxlPWJvbGQsCiAgYWx0ZXJuYXRpdmU9aGFuZ2luZywKICB0aXRsZXN0eWxlPSwKICBzdHlsZT1u b3JtYWwsCiAgbnVtYmVyPW5vLAogIGNsb3Nlc3ltYm9sPVxtYXRoZW1hdGljc3tcYmxhY2tzcXVh cmV9LF0KIAogXHN0YXJ0YnVmZmVyW2NpcmNsZUFdCiBkcmF3IGZ1bGxjaXJjbGUgc2NhbGVkIDJj bTsKIFxzdG9wYnVmZmVyCiAgClxzdGFydHRleHQKClxzdGFydFRoZW9yZW0KJVxwbGFjZWZpZ3Vy ZVtyaWdodF1bXXt9e1xwcm9jZXNzTVBidWZmZXJbY2lyY2xlQV19ClRoaXMgaXMgYSB0ZXN0IGZv ciBwbGFjaW5nIGEgZmlndXJlIGluIHRoZSB0aGVvcmVtIG9yIGluIHRoZSBwcm9vZi4gClx0ZXh7 cGxhY2VmaWd1cmVbcmlnaHRdW117fXtccHJvY2Vzc01QYnVmZmVyW2NpcmNsZUFdfX0KaW5zZXJ0 IGEgYmxhbmsgbGluZSBhdCB0aGUgYmVnaW5uaW5nIG9mIHRoZSBwYXJhZ3JhcGggd2hpbGUgdGhl cmUgaXMgbm8gYmxhbmsgbGluZSB3aXRob3V0IGEgZmlndXJlLgolXHBsYWNlZmlndXJlW3JpZ2h0 XVtde317XHByb2Nlc3NNUGJ1ZmZlcltjaXJjbGVBXX0KXHN0b3BUaGVvcmVtClxzdGFydFByb29m CiVccGxhY2VmaWd1cmVbcmlnaHRdW117fXtccHJvY2Vzc01QYnVmZmVyW2NpcmNsZUFdfQpcaW5w dXQga251dGgKXHN0b3BQcm9vZgpcc3RvcHRleHQKX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K SWYgeW91ciBxdWVzdGlvbiBpcyBvZiBpbnRlcmVzdCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNl IGFkZCBhbiBlbnRyeSB0byB0aGUgV2lraSEKCm1haWxsaXN0IDogbnRnLWNvbnRleHRAbnRnLm5s IC8gaHR0cDovL3d3dy5udGcubmwvbWFpbG1hbi9saXN0aW5mby9udGctY29udGV4dAp3ZWJwYWdl ICA6IGh0dHA6Ly93d3cucHJhZ21hLWFkZS5ubCAvIGh0dHA6Ly9jb250ZXh0LmFhbmhldC5uZXQK YXJjaGl2ZSAgOiBodHRwczovL2JpdGJ1Y2tldC5vcmcvcGhnL2NvbnRleHQtbWlycm9yL2NvbW1p dHMvCndpa2kgICAgIDogaHR0cDovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19f