From bdefe2ba00bc605f9dce667f8c46a51e45ab2aac Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sat, 15 Mar 2003 00:15:32 +0000
Subject: petit oubli

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

(limited to 'ide/coq_commands.ml')

diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml
index 065627d89..61f8afaef 100644
--- a/ide/coq_commands.ml
+++ b/ide/coq_commands.ml
@@ -214,6 +214,9 @@ let state_preserving = [
 
   "Pwd";
 
+  "Recursive Extraction";
+  "Recursive Extraction Module";
+
   "Search";
   "SearchAbout";
   "SearchPattern";
-- 
cgit v1.2.3