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 .