Message-ID:

Adding features does not necessarily increase functionality -- it just makes the manuals thicker.

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

CTAN update: prooftrees

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

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

Path: i2pn2.org!i2pn.org!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: prooftrees
Date: Mon, 19 Jun 2023 11:33:51 +0200
Lines: 37
Message-ID: <mailman.438.1687167244.3764.ctan-ann@ctan.org>
Reply-To: ctan-ann@ctan.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Info: solani.org;
logging-data="1602446"; mail-complaints-to="abuse@news.solani.org"
To: ctan-ann@ctan.org
Cancel-Lock: sha1:H35l+sbJwKMyVm3P5vM+lseR5h8=
List-Subscribe: <https://lists.dante.de/mailman/listinfo/ctan-ann>,
<mailto:ctan-ann-request@ctan.org?subject=subscribe>
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ctan.org; s=201703;
t=1687167243; bh=jb1Wkq0PX5mBiUCkPXDFzM9OqWFpDeQpyFcLZ7sTdGQ=;
h=Date:From:To:Subject:From;
b=ZYIT3EDY7pIK18SItnCD0SOkh22jy1pfxcjjjcqOT4gRVT/TYSs07W6yf7e7bDREv
mfYCWTCectPdaQFyjaltlxvunKUVLGGk1/Zq4GIiJKrY87m9E/rnVut2WMH7nqRodj
v5GEnYu/uLG6um6KruhCtJUEo9GiKYsGLb3+JbQQ=
X-User-ID: eJwFwYEBwCAIA7CXVGgZ5yAd/59gAuNmhxN0DKbC4HUTTf1SrJtkDArQ8XScXqExtDa/1Q8gcxEM
List-Archive: <https://lists.dante.de/pipermail/ctan-ann/>
List-Help: <mailto:ctan-ann-request@ctan.org?subject=help>
List-Id: CTAN Announcements <ctan-ann.ctan.org>
X-Mailman-Version: 2.1.23
Content-Disposition: inline
X-BeenThere: ctan-ann@ctan.org
Precedence: list
List-Unsubscribe: <https://lists.dante.de/mailman/options/ctan-ann>,
<mailto:ctan-ann-request@ctan.org?subject=unsubscribe>

by: CTAN Announcements - Mon, 19 Jun 2023 09:33 UTC

Clea F. Rees submitted an update to the

prooftrees

package.

Version: 0.8 svn 9582 2023-06-18
License: lppl1.3

Summary description: Forest-based proof trees (symbolic logic)

Announcement text:
----------------------------------------------------------------------
Corrects a bug affecting the positioning of closure symbols.
These should no longer be oddly distanced from the last wff
in the branch.

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

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

The package’s files themselves can be inspected at
https://mirrors.ctan.org/graphics/pgf/contrib/prooftrees/

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

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

Subject	Author
CTAN update: prooftrees	CTAN Announcements