From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/108287 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Wolfgang Schuster Newsgroups: gmane.comp.tex.context Subject: Re: About the numbering of theorems Date: Fri, 7 Aug 2020 19:45:28 +0200 Message-ID: References: Reply-To: mailing list for ConTeXt users Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4844"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 PostboxApp/7.0.25 To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Fri Aug 07 19:46:04 2020 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane-mx.org Original-Received: from zapf.boekplan.nl ([5.39.185.232] helo=zapf.ntg.nl) by ciao.gmane.io with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1k46RP-00018l-4D for gctc-ntg-context-518@m.gmane-mx.org; Fri, 07 Aug 2020 19:46:03 +0200 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id CA98F1A7CA9; Fri, 7 Aug 2020 19:45:33 +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 cpw5xsR0Qovo; Fri, 7 Aug 2020 19:45:31 +0200 (CEST) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 8516F1A7CA2; Fri, 7 Aug 2020 19:45:31 +0200 (CEST) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 086C41A7CA0 for ; Fri, 7 Aug 2020 19:45:30 +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 yoHZFw6EKUYE for ; Fri, 7 Aug 2020 19:45:29 +0200 (CEST) Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=209.85.218.52; helo=mail-ej1-f52.google.com; envelope-from=wolfgang.schuster.lists@gmail.com; receiver= Original-Received: from mail-ej1-f52.google.com (mail-ej1-f52.google.com [209.85.218.52]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)) (No client certificate requested) by zapf.ntg.nl (Postfix) with ESMTPS id 7D7321A7C8C for ; Fri, 7 Aug 2020 19:45:29 +0200 (CEST) Original-Received: by mail-ej1-f52.google.com with SMTP id g19so2896059ejc.9 for ; Fri, 07 Aug 2020 10:45:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=kooAktOvwSDec7B/tqY8lUMH69kslYC3JvyHIodKWxE=; b=PU1IX7fSmqcuusdWwTKFdfIdugbDRISFI4EgaCgC4QhAPVO6sqwdzT03HcnyCFZCyh 0LN7Wk7kVX48cYRZuptUs0asK62kEMtPpFoFaxneKRr+M/kLeeByl86z2lhgz5nxjlqc sRgzcxDdb0UJDpREMBlstBAzIGwWcjPpXssWZM2SXZKz2l/Z/7QhOl4AlyrOTTmgxAMy mt71mnGXjKqgPCYQ4Tlrgjh4ESpeGKZGM/GVzQOSmdgLCHjPhxT+o4qcbE47mNM3UiXH VCaLazJ3y88ab3yZxT7cFA1pvXU9KCrSI8Vj/q5WNaWKs24L9z7ArjfZ2R2FeuZvKd4w PY6g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=kooAktOvwSDec7B/tqY8lUMH69kslYC3JvyHIodKWxE=; b=srMzje9UAFad9geyexbW/v+VQOHOaRg8AT6xQ/LRqlw9iVi7PfYJ2eDdh061uGLEpA UiYOluHO3KD3MNQJcDDabNa6NzgjOz541C2P8+KFt/CN/ZxI5GTAYU65lg3jWxOxSKUO UGLJ26W2E/hQgLaed/WWDqTOre+Sjqjc281lMyksafQjktaje/gGV2sgOYFHCofn6FtT MPYA8RqwTllMxJk6uJ7PV6WH6W4GZKKSU0hpqndSEpaU1cKe8El3YWJibJqiZOiG7uRh jrHVvmdfPnRvd30GnLn6SCgsmZHchL7Jv6KIA/Xx+LJxsDWMwMLmemdz75DWLEEC0o2S mDuQ== X-Gm-Message-State: AOAM531Ad5GmsNKVOE0kLaClU5Qko02SzIBq5P85o43F7ho3aMQKLi+e hl2SDdyu5xjSBEiSiQI1aUHEX7XQ X-Google-Smtp-Source: ABdhPJzC9tthjYQ9Zo07SWrcC6aF2d8zbznywh0EOyzEV94o0EkDHWO2a2wHq4F/ifNlgipcjjeedQ== X-Received: by 2002:a17:906:27d7:: with SMTP id k23mr10349886ejc.74.1596822328829; Fri, 07 Aug 2020 10:45:28 -0700 (PDT) Original-Received: from [192.168.1.3] (x4d09a954.dyn.telefonica.de. [77.9.169.84]) by smtp.gmail.com with ESMTPSA id r6sm6393231ejd.55.2020.08.07.10.45.28 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 07 Aug 2020 10:45:28 -0700 (PDT) In-Reply-To: Content-Language: en-US X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.26 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.io gmane.comp.tex.context:108287 Archived-At: RmFicmljZSBDb3V2cmV1ciBzY2hyaWViIGFtIDA3LjA4LjIwMjAgdW0gMTY6MzA6Cj4gSGVsbG8s Cj4gSSBoYXZlIGEgbGl0dGxlIHByb2JsZW0gd2l0aCB0aGUgbnVtYmVyaW5nIG9mIHRoZW9yZW1z IHdoZW4gdGhlcmUgaXMgbm8gCj4gc3Vic2VjdGlvbi4gSSB3b3VsZCBsaWtlIHRvIGtub3cgOgo+ IAo+IFRoZW9yZW0gMS4xCj4gVGhlb3JlbSAxLjIKPiAKPiBUaGVvcmVtIDIuMwo+IFRoZW9yZW0g Mi40Cj4gCj4gVGhhbmsgeW91Cj4gRmFicmljZQoKVXNlIGEgY29udmVyc2lvbiBzZXQgdG8gc2V0 IHRoZSBudW1iZXIgY29udmVyc2lvbiBmb3IgeW91IHNlY3Rpb25zIGFuZCAKcmVtb3ZlIHRoZSBj b252ZXJzaW9uIHNldHRpbmcgKFxzZXR1cGhlYWRbLi4uXVtjb252ZXJzaW9uPS4uLl0pIGZyb20g dGhlIApzZXR1cHMuCgpcZGVmaW5lY29udmVyc2lvbnNldCBbZmFicmljZV0gW24sbixSLG5dIFtu XQoKXHNldHVwaGVhZHMKICAgW3NlY3Rpb25jb252ZXJzaW9uc2V0PWZhYnJpY2VdCgpXb2xmZ2Fu ZwpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fXwpJZiB5b3VyIHF1ZXN0aW9uIGlzIG9mIGludGVy ZXN0IHRvIG90aGVycyBhcyB3ZWxsLCBwbGVhc2UgYWRkIGFuIGVudHJ5IHRvIHRoZSBXaWtpIQoK bWFpbGxpc3QgOiBudGctY29udGV4dEBudGcubmwgLyBodHRwOi8vd3d3Lm50Zy5ubC9tYWlsbWFu L2xpc3RpbmZvL250Zy1jb250ZXh0CndlYnBhZ2UgIDogaHR0cDovL3d3dy5wcmFnbWEtYWRlLm5s IC8gaHR0cDovL2NvbnRleHQuYWFuaGV0Lm5ldAphcmNoaXZlICA6IGh0dHBzOi8vYml0YnVja2V0 Lm9yZy9waGcvY29udGV4dC1taXJyb3IvY29tbWl0cy8Kd2lraSAgICAgOiBodHRwOi8vY29udGV4 dGdhcmRlbi5uZXQKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K