Completing support for F5=About by adding About to the state-preserving command list

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

1 files changed, 1 insertions, 0 deletions

diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml
index 12ef8db74..80ac5a200 100644
--- a/ide/coq_commands.ml
+++ b/ide/coq_commands.ml
@@ -155,6 +155,7 @@ let commands = [
 ]
 
 let state_preserving = [
+  "About";
   "Check";
   "Eval";
   "Eval lazy in";