From 1408c0f1ff3c25089c328d3d0a31144de0e718d0 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Tue, 30 Oct 2012 16:38:51 +0000
Subject: Documenting the 'Printing Transparent/All Dependencies' command.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15946 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-oth.tex | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'doc')

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}}
-- 
cgit v1.2.3