From c2afa5af56fdd4ee4b864b331ad838d264a10c15 Mon Sep 17 00:00:00 2001 From: Picnic Date: Mon, 19 Dec 2011 12:12:23 +0100 Subject: [PATCH] Modified authors names --- README | 5 ++++- coq_stuff.ml | 5 ++++- coq_stuff.mli | 5 ++++- description | 2 +- g_relation_extraction.ml4 | 5 ++++- host2spec.ml | 5 ++++- host2spec.mli | 5 ++++- host_stuff.mli | 5 ++++- minimlgen.ml | 5 ++++- minimlgen.mli | 5 ++++- pred.ml | 5 ++++- pred.mli | 5 ++++- relation_extraction.ml | 5 ++++- relation_extraction.mli | 5 ++++- 14 files changed, 53 insertions(+), 14 deletions(-) diff --git a/README b/README index 7080505..cd5929c 100644 --- a/README +++ b/README @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) II - INSTALLATION diff --git a/coq_stuff.ml b/coq_stuff.ml index e65b207..07ecc53 100644 --- a/coq_stuff.ml +++ b/coq_stuff.ml @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) open Host_stuff diff --git a/coq_stuff.mli b/coq_stuff.mli index a9eca57..d5ec0f9 100644 --- a/coq_stuff.mli +++ b/coq_stuff.mli @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) open Host_stuff diff --git a/description b/description index 7bcfa98..2fd60c1 100644 --- a/description +++ b/description @@ -1,6 +1,6 @@ Name: RelationExtraction Title: Functions extraction from inductive relations -Author: Pierre-Nicolas Tollitte +Author: Catherine Dubois, David Delahaye, Pierre-Nicolas Tollitte Institution: CNAM-ENSIIE, Paris, France Date: 2011 Description: This plugin introduces a new set of extraction commands that diff --git a/g_relation_extraction.ml4 b/g_relation_extraction.ml4 index 1dc860b..5f9772b 100644 --- a/g_relation_extraction.ml4 +++ b/g_relation_extraction.ml4 @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) diff --git a/host2spec.ml b/host2spec.ml index ab558a4..d02fa05 100644 --- a/host2spec.ml +++ b/host2spec.ml @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) open Util diff --git a/host2spec.mli b/host2spec.mli index c99063d..fdd5a7d 100644 --- a/host2spec.mli +++ b/host2spec.mli @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) open Coq_stuff diff --git a/host_stuff.mli b/host_stuff.mli index 886e861..d5f1312 100644 --- a/host_stuff.mli +++ b/host_stuff.mli @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) (* Host is the host language (Coq or Focalize). In order to generate diff --git a/minimlgen.ml b/minimlgen.ml index 69cae57..8ad224f 100644 --- a/minimlgen.ml +++ b/minimlgen.ml @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) open Pred diff --git a/minimlgen.mli b/minimlgen.mli index 5eb2970..a0f4138 100644 --- a/minimlgen.mli +++ b/minimlgen.mli @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) open Pred diff --git a/pred.ml b/pred.ml index 2ec1458..172c56c 100644 --- a/pred.ml +++ b/pred.ml @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) open Host_stuff diff --git a/pred.mli b/pred.mli index 67b8465..305340b 100644 --- a/pred.mli +++ b/pred.mli @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) open Host_stuff diff --git a/relation_extraction.ml b/relation_extraction.ml index c8959af..af855f4 100644 --- a/relation_extraction.ml +++ b/relation_extraction.ml @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************) open Util diff --git a/relation_extraction.mli b/relation_extraction.mli index 4e4deed..bdfc345 100644 --- a/relation_extraction.mli +++ b/relation_extraction.mli @@ -14,7 +14,10 @@ (* You should have received a copy of the GNU General Public License *) (* along with this program. If not, see . *) (* *) -(* Copyright 2011 Pierre-Nicolas Tollitte CNAM-ENSIIE *) +(* Copyright 2011 CNAM-ENSIIE *) +(* Catherine Dubois *) +(* David Delahaye *) +(* Pierre-Nicolas Tollitte *) (****************************************************************************)