CTAN update: apxproof
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 .
apxproof – Proofs in appendix
The package makes it easier to write articles where proofs and other material are deferred to the appendix.
The appendix material is written in the LaTeX code along with the main text which it naturally complements, and it is automatically deferred.
The package can automatically send proofs to the appendix, can repeat in the appendix the theorem environments stated in the main text, can section the appendix automatically based on the sectioning of the main text, and supports a separate bibliography for the appendix material. SyncTeX is supported throughout, so that editors and PDF viewers point at the source lines that produced the appendix material; a LaTeXML binding is provided for conversion to HTML.
It depends on the following packages: amsthm, bibunits (if the bibliography option is set to separate), environ, etoolbox, fancyvrb, ifthen, and kvoptions.
| Package | apxproof |
| Version | 1.5.0 2026-08-25 |
| Copyright | 2016–2026 Pierre Senellart |
| Maintainer | Pierre Senellart |