Skip to content

Commit

Permalink
Modified authors names
Browse files Browse the repository at this point in the history
  • Loading branch information
@picnic
picnic committed Dec 19, 2011
1 parent 32e547d commit c2afa5a
Show file tree
Hide file tree
Showing 14 changed files with 53 additions and 14 deletions.
5 changes: 4 additions & 1 deletion README
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

II - INSTALLATION
Expand Down
5 changes: 4 additions & 1 deletion coq_stuff.ml
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

open Host_stuff
Expand Down
5 changes: 4 additions & 1 deletion coq_stuff.mli
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

open Host_stuff
Expand Down
2 changes: 1 addition & 1 deletion description
View file
@@ -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
Expand Down
5 changes: 4 additions & 1 deletion g_relation_extraction.ml4
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)


Expand Down
5 changes: 4 additions & 1 deletion host2spec.ml
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

open Util
Expand Down
5 changes: 4 additions & 1 deletion host2spec.mli
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

open Coq_stuff
Expand Down
5 changes: 4 additions & 1 deletion host_stuff.mli
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

(* Host is the host language (Coq or Focalize). In order to generate
Expand Down
5 changes: 4 additions & 1 deletion minimlgen.ml
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

open Pred
Expand Down
5 changes: 4 additions & 1 deletion minimlgen.mli
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

open Pred
Expand Down
5 changes: 4 additions & 1 deletion pred.ml
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

open Host_stuff
Expand Down
5 changes: 4 additions & 1 deletion pred.mli
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

open Host_stuff
Expand Down
5 changes: 4 additions & 1 deletion relation_extraction.ml
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)

open Util
Expand Down
5 changes: 4 additions & 1 deletion relation_extraction.mli
View file
Expand Up @@ -14,7 +14,10 @@
(* You should have received a copy of the GNU General Public License *)
(* along with this program. If not, see <http://www.gnu.org/licenses/>. *)
(* *)
(* Copyright 2011 Pierre-Nicolas Tollitte <tollitte@ensiie.fr> CNAM-ENSIIE *)
(* Copyright 2011 CNAM-ENSIIE *)
(* Catherine Dubois <dubois@ensiie.fr> *)
(* David Delahaye <david.delahaye@cnam.fr> *)
(* Pierre-Nicolas Tollitte <tollitte@ensiie.fr> *)
(****************************************************************************)


Expand Down

0 comments on commit c2afa5a

Please sign in to comment.