Pierre Senellart submitted an update to the

proofgraph

package.

Version: 1.1.0 2026-07-31 License: lppl1.3

Summary description: Dependency graphs of the results of a mathematical article

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

Version 1.1.0 of proofgraph widens what the dependency graph of an article records.

Citations: every citation command of natbib and biblatex is now captured, and \proofgraphcitecommand declares further ones; \zcref of zref-clever is captured like the other cross-referencing commands.

Statements: cross-references and citations made in the statement of a result, and not only in its proof, are now recorded as dependencies; the new "statements" option turns this off.

Proofs: \proofgraphproofenv declares further environments to be treated as proofs; a result stated inside a proof is drawn as supporting the result that proof establishes; and a \proofof anywhere in a proof pins the proof as a whole, nested proofs included.

Editing the graph: \usescite and \proofgraphciteedge record a dependency on a cited work by hand, and \proofgraphignorecite drops one; a rule that drops nothing is now reported.

This release also fixes a number of bugs, among them citation nodes drawn without style or hyperlink, dependencies wrongly recorded from a running head, and every name but the first being ignored in a \proofgraphtrack list. The manual lists them all.

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

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

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

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

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 .