From e5439ba8d241fdfde7fddc8d1f97cdebdfdd1600 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 8 Jul 2009 09:33:03 +0000
Subject: 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
---
 ide/coq_commands.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/coq_commands.ml')

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";
-- 
cgit v1.2.3