CTAN update: proof-at-the-end
Date: January 29, 2022 8:40:52 PM CET
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
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
proof-at-the-end – A package to move proofs to appendix
This package aims to provide a way to easily move proofs to the appendix. You can (among other things) move proofs to different places/sections, create links from theorems to proofs, restate theorems, add comments in appendix…
| Package | proof-at-the-end |
| Version | 2024-01-26 |
| Copyright | 2024 Léo Colisson |
| Maintainer | Léo Colisson |