diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/refman/RefMan-oth.tex | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/refman/RefMan-oth.tex b/doc/refman/RefMan-oth.tex index 7b70e4cc65..0126e686bb 100644 --- a/doc/refman/RefMan-oth.tex +++ b/doc/refman/RefMan-oth.tex @@ -155,6 +155,13 @@ relies. \comindex{Print Opaque Dependencies}}\\ Displays the set of opaque constants {\qualid} relies on in addition to the assumptions. +\item \texttt{\tt Print Transparent Dependencies {\qualid}. + \comindex{Print Transparent Dependencies}}\\ + Displays the set of transparent constants {\qualid} relies on in addition + to the assumptions. +\item \texttt{\tt Print All Dependencies {\qualid}. + \comindex{Print All Dependencies}}\\ + Displays all assumptions and constants {\qualid} relies on. \end{Variants} \subsection[\tt Search {\term}.]{\tt Search {\term}.\comindex{Search}} |