| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help |
The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...
The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.
The proofgraph package automatically produces a graph of the dependencies between the results (theorems, lemmas, propositions, and so on) of a mathematical article. It requires no manual annotation: an edge from one result to another is inferred whenever the proof of the former refers to the latter through an ordinary cross-reference (\ref, \cref, \autoref, \eqref, and similar), with a manual \uses command also available for dependencies not expressed through a visible reference. Citations of external work can optionally be captured as well. The package writes a Graphviz .dot file describing the graph; with shell- escape enabled it can additionally run Graphviz and embed the rendered graph into the document. Nodes can be styled according to the type of result, self-loops removed, specific citations suppressed, and chosen nodes excluded.
| Package | Summary | Distribution | Download |
| texlive-proofgraph-1.0.1-79642.1.noarch.html | Dependency graphs of the results of a mathematical article | OpenMandriva Cooker for x86_64 | texlive-proofgraph-1.0.1-79642.1.noarch.rpm |
| texlive-proofgraph-1.0.1-79642.1.noarch.html | Dependency graphs of the results of a mathematical article | OpenMandriva Cooker for aarch64 | texlive-proofgraph-1.0.1-79642.1.noarch.rpm |
Generated by rpm2html 1.6