Path: eternal-september.org!news.eternal-september.org!feeder2.eternal-september.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: manfred@ctan.org (CTAN Announcements)
Newsgroups: comp.text.tex
Subject: CTAN update: prooftrees
Date: Sun, 27 Oct 2024 09:25:31 +0100
Organization: CTAN
Lines: 36
Message-ID: <d2cc1833-b4ce-492f-a446-2f08ed3b0204@ctan.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Injection-Info: solani.org;
logging-data="115752"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla Thunderbird
To: ctan-ann@ctan.org
Cancel-Lock: sha1:0nBtKsuG05ZZpD+LKv+PdtfHL/8=
Content-Language: en-US
X-Mailman-Version: 3.3.8
Message-ID-Hash: XMSD4UYQZ5PVWNLMQG3X4ZCR5M6BXXUN
Precedence: list
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ctan.org; s=dkim;
t=1730017532;
h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
to:to:cc:mime-version:mime-version:content-type:content-type:
content-transfer-encoding:content-transfer-encoding;
bh=Oew7Niw54N5WJxCaJ8WqPy2Z0f5tSz8wcJ3NIgzyCDc=;
b=rxs1nPBiKOn6EYjvxv359gcuE+fy4BFp/90mhwLhc9eZlFz+G1nqd7ofKnvHScTcJhZn13
sJyTqeszIc4gtECzHSboOseXQ87YiRBoidEIF3nKrcRgdHkfdc8BVRH5rgpoXSwzZMQXOO
fIc1JEQNZmjE36sIedl2GHYchWXD7cg=
X-Message-ID-Hash: XMSD4UYQZ5PVWNLMQG3X4ZCR5M6BXXUN
X-MailFrom: manfred@ctan.org
X-Mailman-Rule-Hits: member-moderation
X-User-ID: eJwFwQkBwDAIBDBL5fjlAAP/EpYoG9m4mJro6YXn4Ba9GD9SquJGSrwKI/3Y0BmyV48IhR8cSRDF
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address