CoqIDE: undo immediat sur les commandes ne modifiant pas l'etat

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4145 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 3 insertions, 16 deletions

diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml
index 9598ee2f65..d51521ff71 100644
--- a/ide/coq_commands.ml
+++ b/ide/coq_commands.ml
@@ -194,14 +194,11 @@ let commands = [
 let state_preserving = [
   "Check";
   "Eval";
-  "Extract Constant";
-  "Extract Inductive";
   "Extraction";
-  "Extraction Inline";
-  "Extraction Language";
+  "Extraction Library";
   "Extraction Module";
-  "Extraction NoInline";
   "Inspect";
+  "Locate";
   "Print";
   "Print All";
   "Print Classes";
@@ -225,18 +222,13 @@ let state_preserving = [
   "Pwd";
 
   "Recursive Extraction";
-  "Recursive Extraction Module";
+  "Recursive Extraction Library";
 
   "Search";
   "SearchAbout";
   "SearchPattern";
   "SearchRewrite";
 
-  "Set Printing Coercion";
-  "Set Printing Coercions";
-  "Set Printing Synth";
-  "Set Printing Wildcard";
-
   "Show";
   "Show Conjectures";
   "Show Implicits";
@@ -252,9 +244,4 @@ let state_preserving = [
   "Test Printing Wildcard";
     
   "Recursive Extraction"; 
-
-  "Unset Printing Coercion";
-  "Unset Printing Coercions";
-  "Unset Printing Synth";
-  "Unset Printing Wildcard";
 ]