From 32bf34451799db2b84c0bc6833ab3b53d2c67cad Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 29 Jan 2004 13:32:43 +0000
Subject: Suppression de 'Print.' en v8

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

diff --git a/doc/RefMan-oth.tex b/doc/RefMan-oth.tex
index 60930ec06..47438d9c5 100644
--- a/doc/RefMan-oth.tex
+++ b/doc/RefMan-oth.tex
@@ -44,10 +44,11 @@ environment, including sections and modules.
 \item {\tt Print Section {\ident}.}\comindex{Print Section}\\
 should correspond to a currently open section, this command
 displays the objects defined since the beginning of this section.
-\item {\tt Print.}\comindex{Print}\\
-This command displays the axioms and variables declarations in the
-environment as well as the constants defined since the last variable
-was introduced.
+% Discontinued
+%% \item {\tt Print.}\comindex{Print}\\
+%% This command displays the axioms and variables declarations in the
+%% environment as well as the constants defined since the last variable
+%% was introduced.
 \end{Variants}
 
 \section{Requests to the environment}
-- 
cgit v1.2.3