Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

I've looked at the listing, and it's right! -- Joel Halpern


computers / comp.text.tex / CTAN update: proof-at-the-end

SubjectAuthor
o CTAN update: proof-at-the-endCTAN Announcements

1
CTAN update: proof-at-the-end

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

  copy mid

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

  copy link   Newsgroups: comp.text.tex
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news.mb-net.net!open-news-network.org!news.bgeserver.de!news.arnold-schiller.de!news2.open-news-network.org!.POSTED.comedy.dante.de!not-for-mail
From: ctan-...@ctan.org (CTAN Announcements)
Newsgroups: comp.text.tex
Subject: CTAN update: proof-at-the-end
Date: Sat, 29 Jan 2022 20:40:52 +0100
Organization: news2.open-news-network.org
Lines: 39
Message-ID: <mailman.125.1643485266.3195.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: news2.open-news-network.org; posting-host="comedy.dante.de:2a01:488:67:1000:523:f93c:0:1";
logging-data="39307"; mail-complaints-to="abuse@bgeserver.de"
To: ctan-ann@ctan.org
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ctan.org; s=201703;
t=1643485265; bh=+4QtcYaHbPoAkzG5dJaOME5Dkk1AilPPl5PIHwOHHbk=;
h=Date:From:To:Subject:From;
b=GIhlMtIzqz2fqz766eCuVWN1ZrZdjarNN9Yywz85Wl9/6qPmpJUgBKA+XsjtHS6Ar
grt8I6PUYHtivv+psrtjjYvw4L1zoIQwZdXX2/AbsMzjkxbienlxAuvj0ctDKWJf+Q
FcM5g2J9U6O7XbtDLYyR4BDVmVrURUVNIEoLegqw=
Content-Disposition: inline
X-BeenThere: ctan-ann@ctan.org
X-Mailman-Version: 2.1.23
Precedence: list
List-Id: CTAN Announcements <ctan-ann.ctan.org>
List-Unsubscribe: <https://lists.dante.de/mailman/options/ctan-ann>,
<mailto:ctan-ann-request@ctan.org?subject=unsubscribe>
List-Archive: <https://lists.dante.de/pipermail/ctan-ann/>
List-Help: <mailto:ctan-ann-request@ctan.org?subject=help>
List-Subscribe: <https://lists.dante.de/mailman/listinfo/ctan-ann>,
<mailto:ctan-ann-request@ctan.org?subject=subscribe>
 by: CTAN Announcements - Sat, 29 Jan 2022 19:40 UTC

Léo Colisson submitted an update to the

proof-at-the-end

package.

Version: 2022-01-28
License: lppl1.3

Summary description: A package to move proofs to appendix

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

In this upgrade, it is easier to move proofs at the end using the
"createShortEnv" option to automatically generate shortcuts for
theorems, lemmas... We also allow easier use of cleveref instead
of autoref, and fix some bugs (space issues, and sometimes sections
were poorly detected). See the changelog in the documentation.

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

The package’s Catalogue entry can be viewed at
https://ctan.org/pkg/proof-at-the-end

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

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

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

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor