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 .
_______________________________________________
ctan-ann mailing list -- [email protected]
To unsubscribe send an email to [email protected]
