From ee280ef0957206a0cae7d510806a8667f87a510c Mon Sep 17 00:00:00 2001
From: monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 7 May 2003 16:57:39 +0000
Subject: coqide: toolbar/autosave Hugo: Suppression du type dans les notations
 == et <> entre Suppression du type dans les notations == et <> entre volution
 second traducteur selon discussion  TYPES

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

(limited to 'ide/coq_commands.ml')

diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml
index a2db621fd..9cd851820 100644
--- a/ide/coq_commands.ml
+++ b/ide/coq_commands.ml
@@ -1,3 +1,13 @@
+(***********************************************************************)
+(*  v      *   The Coq Proof Assistant  /  The Coq Development Team    *)
+(* <O___,, *        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              *)
+(*   \VV/  *************************************************************)
+(*    //   *      This file is distributed under the terms of the      *)
+(*         *       GNU Lesser General Public License Version 2.1       *)
+(***********************************************************************)
+
+(* $Id$ *)
+
 let commands = [
   ["Abort";
   "Add Abstract Ring";
-- 
cgit v1.2.3