From b4a932fad873357ebe50bf571858e9fca842b9e5 Mon Sep 17 00:00:00 2001 From: filliatr Date: Mon, 16 Aug 1999 13:17:30 +0000 Subject: Initial revision git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2 85f007b7-540e-0410-9357-904b9bb8a0f7 --- dev/header | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 dev/header (limited to 'dev/header') diff --git a/dev/header b/dev/header new file mode 100644 index 0000000000..aeee5b9e7e --- /dev/null +++ b/dev/header @@ -0,0 +1,10 @@ +(****************************************************************************) +(* *) +(* The Coq Proof Assistant *) +(* *) +(* Projet Coq *) +(* *) +(* INRIA LRI-CNRS ENS-CNRS *) +(* Rocquencourt Orsay Lyon *) +(* *) +(****************************************************************************) -- cgit v1.2.3