From 2196380d8295a577c603f8c09df8e3e7c5b12ebf Mon Sep 17 00:00:00 2001
From: mohring
Date: Mon, 15 Mar 2004 14:55:01 +0000
Subject: ajout des Print Scopes dans liste commandes sans effet

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5493 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coq_commands.ml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml
index 7353a1bf6a..0f588ecad9 100644
--- a/ide/coq_commands.ml
+++ b/ide/coq_commands.ml
@@ -211,10 +211,15 @@ let state_preserving = [
   "Print Module Type";
   "Print Modules";
   "Print Proof";
+  "Print Scope";
+  "Print Scopes.";
   "Print Section";
+  
   "Print Table Printing If";
   "Print Table Printing Let";
 
+  "Print Visibility";
+
   "Pwd.";
 
   "Recursive Extraction";
-- 
cgit v1.2.3