From ec646f299f96b1508db08d189b80d2912ee6bed0 Mon Sep 17 00:00:00 2001 From: herbelin Date: Mon, 7 Jan 2002 06:07:12 +0000 Subject: MAJ git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2382 85f007b7-540e-0410-9357-904b9bb8a0f7 --- dev/header | 17 +++++++---------- 1 file changed, 7 insertions(+), 10 deletions(-) (limited to 'dev/header') diff --git a/dev/header b/dev/header index aeee5b9e7e..b5bc074d17 100644 --- a/dev/header +++ b/dev/header @@ -1,10 +1,7 @@ -(****************************************************************************) -(* *) -(* The Coq Proof Assistant *) -(* *) -(* Projet Coq *) -(* *) -(* INRIA LRI-CNRS ENS-CNRS *) -(* Rocquencourt Orsay Lyon *) -(* *) -(****************************************************************************) +(***********************************************************************) +(* v * The Coq Proof Assistant / The Coq Development Team *) +(*