Path: ...!news.mixmin.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: CTAN Announcements <petra@ctan.org>
Newsgroups: comp.text.tex
Subject: CTAN update: logictools
Date: Wed, 21 May 2025 18:11:16 +0200
Organization: CTAN
Lines: 36
Message-ID: <aC37JOUuPKT4VB2y@prptp>
Reply-To: ctan@ctan.org
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: solani.org;
	logging-data="169843"; mail-complaints-to="abuse@news.solani.org"
To: CTAN Announcements <ctan-ann@ctan.org>
Cancel-Lock: sha1:cju95kZgCwBAVv5Fiq4BZSy/C/c=
X-Rspamd-Queue-Id: 16306803C8
X-Rspamd-Server: irony
X-Mailman-Rule-Hits: member-moderation
X-Spamd-Result: default: False [-2.56 / 16.00];
	BAYES_HAM(-2.96)[99.82%];
	MID_RHS_NOT_FQDN(0.50)[];
	MIME_GOOD(-0.10)[text/plain];
	RCVD_VIA_SMTP_AUTH(0.00)[];
	ARC_NA(0.00)[];
	ASN(0.00)[asn:3320, ipnet:87.128.0.0/10, country:DE];
	RCVD_COUNT_ONE(0.00)[1];
	MISSING_XM_UA(0.00)[];
	MIME_TRACE(0.00)[0:+];
	RCPT_COUNT_ONE(0.00)[1];
	FROM_HAS_DN(0.00)[];
	TO_DOM_EQ_FROM_DOM(0.00)[];
	REPLYTO_DOM_EQ_TO_DOM(0.00)[];
	REPLYTO_DOM_EQ_FROM_DOM(0.00)[];
	FROM_EQ_ENVFROM(0.00)[];
	HAS_ORG_HEADER(0.00)[];
	TO_MATCH_ENVRCPT_ALL(0.00)[];
	RCVD_TLS_LAST(0.00)[];
	TO_DN_ALL(0.00)[];
	DKIM_SIGNED(0.00)[ctan.org:s=dkim];
	HAS_REPLYTO(0.00)[ctan@ctan.org]
X-Mailman-Version: 3.3.8
X-Rspamd-Action: no action
Message-ID-Hash: AXAPVOI37OODT3JHWN55QLYAGIE5YRD3
Content-Disposition: inline
Precedence: list
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address
X-MailFrom: petra@ctan.org
X-Message-ID-Hash: AXAPVOI37OODT3JHWN55QLYAGIE5YRD3
X-User-ID: eJwNyEEBwDAIA0BNQJJhpwXqX8J43jFkqg+iwMfXfnvebessHWS7W4RrsCATGmFHrNr2HykdEJw=
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ctan.org; s=dkim;
	t=1747843882; h=from:from:reply-to: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=RTyAqee2T2xmTzfF1IJ7J1t3QM2CBJsaY7cLSzSsFc0=;
	b=rB/ZKbasXvS7ASaeyOL25ycYrR9vIjy4+PVTFZ1IKU3N2UMxPtaxMIbLgS+JF/RP3gSxLd
	pLwHWr4zKAbHqYcF7FdP0VWN4GOOsELVkE0l08MFIcDJFXPqwd3FA535OIug1J0CxeJNaB
	RuBEw47n72+Fy3gSXeMDzvsDM9sg1Fo=
Bytes: 3492

Miles Min Yin Cheang submitted an update to the

                  logictools

package.

Version:  0.1.1 2025-05-20
License:  lppl1.3

Summary description:  Additional tools for typesetting formal logic

Announcement text:
----------------------------------------------------------------------

 Updates for compatability with LuaTeX, unicode-math, babel (greek),
 bug fixes, better error handling. Among other things...

----------------------------------------------------------------------

The package’s Catalogue entry can be viewed at
   https://ctan.org/pkg/logictools

The package’s files themselves can be inspected at
   https://mirrors.ctan.org/macros/latex/contrib/logictools/

------------------------------------------------------------------------

   Thanks for the upload.

     For the CTAN Team
    Petra Rübe-Pugliese

------------------------------------------------------------------------

CTAN is run entirely by volunteers and supported by TeX user groups.
Please join a user group or donate to one, see https://ctan.org/lugs