Message-ID:

"Send lawyers, guns and money..." -- Lyrics from a Warren Zevon song

computers / comp.text.tex / CTAN update: fitch

CTAN update: fitch

<mailman.5121.1702933215.3764.ctan-ann@ctan.org>

https://www.rocksolidbbs.com/computers/article-flat.php?id=7879&group=comp.text.tex#7879

Path: i2pn2.org!rocksolid2!news.neodome.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: ctan-ann@ctan.org (CTAN Announcements)
Newsgroups: comp.text.tex
Subject: CTAN update: fitch
Date: Mon, 18 Dec 2023 21:00:06 +0000
Lines: 42
Message-ID: <mailman.5121.1702933215.3764.ctan-ann@ctan.org>
Reply-To: ctan-ann@ctan.org
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Injection-Info: solani.org;
logging-data="46638"; mail-complaints-to="abuse@news.solani.org"
To: ctan-ann@ctan.org
Cancel-Lock: sha1:gg0txSAdf4j+3Vyv92MJeiqMrqg=
Precedence: list
X-Mailman-Version: 2.1.23
List-Subscribe: <https://lists.dante.de/mailman/listinfo/ctan-ann>,
<mailto:ctan-ann-request@ctan.org?subject=subscribe>
List-Archive: <https://lists.dante.de/pipermail/ctan-ann/>
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ctan.org; s=201703;
t=1702933214; bh=Tlvm+l7QJUXiro8Hl85Q03df7zyR8tkpi7j/QIBD5hQ=;
h=Date:From:To:Subject:Reply-To:From;
b=ExHlJiybypYcaDh3WM2GxliU/bZbFrKQwql9McDjnwaglhjxtEFfS7kiUUm8dqnJb
51wIiGMIzBtcAk2OQLyJ/1Tbm8PkOir1OwW/J25eVojlc5cKw4W6fJj61L5EcoF2WK
vD7BzRlao/bF9J7jc2wVSuXXL3MV/4IDR+rKFVKs=
List-Unsubscribe: <https://lists.dante.de/mailman/options/ctan-ann>,
<mailto:ctan-ann-request@ctan.org?subject=unsubscribe>
List-Id: CTAN Announcements <ctan-ann.ctan.org>
X-BeenThere: ctan-ann@ctan.org
List-Help: <mailto:ctan-ann-request@ctan.org?subject=help>
X-User-ID: eJwNxMEBwCAIA8CVSiURxwEk+4/Q3uOwaOztBB2CNKjqmGbeKBu785wonpC9NxuZzqUU/jf7A0cdEls=

by: CTAN Announcements - Mon, 18 Dec 2023 21:00 UTC

Richard Zach submitted an update to the

fitch

package.

Version number: 1.0 2023-12-17
License type: lppl1.3

Summary description: LaTeX macros for Fitch-style natural deduction

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

- Internal command names changed from nonstandard nd* to nd@
- Add key-value options to package and environments to configure dimensions and enable
use of environments other than array to generate proof table (e.g., tabular, longtable)
- Add fitchproof environment
- Add commands to make printing of rule names, justifications, and line references
configurable
- Add option to suppress printing of outermost scope line
----------------------------------------------------------------------

This package is located at
https://mirrors.ctan.org/macros/latex/contrib/fitch

More information is at
https://www.ctan.org/pkg/fitch

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

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

Thanks for the upload.

For the CTAN Team
Ina Dau

Subject	Author
CTAN update: fitch	CTAN Announcements