From 836276d44d2bad23c2dbc8ee66a74c7f71856a5f Mon Sep 17 00:00:00 2001
From: coq <coq@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 4 Feb 2004 15:30:44 +0000
Subject: search window

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5288 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 86b7744c9..640d1c383 100644
--- a/ide/coq_commands.ml
+++ b/ide/coq_commands.ml
@@ -120,6 +120,7 @@ let commands = [
    "Remove Printing Let";
    "Require";
    "Require Export";
+   "Require Import";
    (* "Reset"; *)
    "Reset Extraction Inline";
    (* "Reset Initial"; *)
-- 
cgit v1.2.3