Pierre Senellart submitted an update to the

apxproof

package.

Version: 1.5.0 2026-08-25 License: lppl1.3

Summary description: Proofs in appendix

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

Version 1.5.0 of apxproof adds SyncTeX support.

Appendix material and repeated theorems are now typeset from the source files instead of being copied to an auxiliary file, so that editors and PDF viewers point at the source lines that produced them, in the appendix as well as in the main text. This happens by default whenever the engine is run with SyncTeX output enabled; the new "synctex" option forces it on or off. With pdfTeX and XeTeX, the apxproof-synctex script now distributed with the package additionally makes forward search find appendix material.

The optional argument that cleveref adds to \label is now supported within repeated material, as are the \zlabel and \zcref commands of zref-clever.

A LaTeXML binding, apxproof.sty.ltxml, is now distributed and documented: it converts documents using apxproof to HTML with their proofs deferred, their theorems repeated and their appendix bibliography preserved.

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

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

More information is at https://ctan.org/pkg/apxproof

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

Thanks for the upload.

For the CTAN Team Erik Braun

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 .