diff --git a/INSTALL b/INSTALL
index 00c6bb896331ca50c5f3029670523eb012515635..c79e6060047d18ee07188f86dfd2cc807a8f7074 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,3 +1,22 @@
+**************************************************************************
+* *
+* ACG development toolkit *
+* *
+* Copyright 2008 INRIA *
+* *
+* More information on "http://acg.gforge.loria.fr/" *
+* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
+* Authors: see the AUTHORS file *
+* *
+* *
+* *
+* *
+* $Rev:: $: Revision of last commit *
+* $Author:: $: Author of last commit *
+* $Date:: $: Date of last commit *
+* *
+**************************************************************************
+
To install the ACG toolkit, first run:
./configure
diff --git a/LICENSE.en b/LICENSE.en
index fcc8df26b07f09b1d12fc9c8e8b161423ae45bdf..a63b48fd4f911ce9c01c740f80f2dac3c5d78e20 100644
--- a/LICENSE.en
+++ b/LICENSE.en
@@ -1,3 +1,21 @@
+**************************************************************************
+* *
+* ACG development toolkit *
+* *
+* Copyright 2008 INRIA *
+* *
+* More information on "http://acg.gforge.loria.fr/" *
+* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
+* Authors: see the AUTHORS file *
+* *
+* *
+* *
+* *
+* $Rev:: $: Revision of last commit *
+* $Author:: $: Author of last commit *
+* $Date:: $: Date of last commit *
+* *
+**************************************************************************
CeCILL FREE SOFTWARE LICENSE AGREEMENT
diff --git a/LICENSE.fr b/LICENSE.fr
index 1613fca5b606496691e6b5b6520afdf1772866de..cad88c7b50dcc9144efdd40f15c78dc6b91161ef 100644
--- a/LICENSE.fr
+++ b/LICENSE.fr
@@ -1,3 +1,21 @@
+**************************************************************************
+* *
+* ACG development toolkit *
+* *
+* Copyright 2008 INRIA *
+* *
+* More information on "http://acg.gforge.loria.fr/" *
+* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
+* Authors: see the AUTHORS file *
+* *
+* *
+* *
+* *
+* $Rev:: $: Revision of last commit *
+* $Author:: $: Author of last commit *
+* $Date:: $: Date of last commit *
+* *
+**************************************************************************
CONTRAT DE LICENCE DE LOGICIEL LIBRE CeCILL
diff --git a/Makefile.in b/Makefile.in
index 29b8312c156d205700d0ca5340e3b241f7e1fc43..f1e35e3311c0ab3cbdfba637c3c057387845b581 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
PHONY: config byte opt clean superclean install
BINARIES=acgc acgc.opt acg acg.opt
diff --git a/README b/README
index f5a099b6e93f5e6410e4df7a92432be03c22655a..aa2e2d52c448e55c3dfbad816ff3930f46062f9f 100644
--- a/README
+++ b/README
@@ -1,3 +1,22 @@
+**************************************************************************
+* *
+* ACG development toolkit *
+* *
+* Copyright 2008 INRIA *
+* *
+* More information on "http://acg.gforge.loria.fr/" *
+* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
+* Authors: see the AUTHORS file *
+* *
+* *
+* *
+* *
+* $Rev:: $: Revision of last commit *
+* $Author:: $: Author of last commit *
+* $Date:: $: Date of last commit *
+* *
+**************************************************************************
+
This distribution provides two executables (possibly with the .opt
extension, see the INSTALL file):
diff --git a/config/Makefile.in b/config/Makefile.in
index edc8850c57b83368b8a4ab6ce01dd46fd6191a67..ecba5d1cbb3dbec58d1800e4a17a5c8a5913dab6 100644
--- a/config/Makefile.in
+++ b/config/Makefile.in
@@ -1,5 +1,16 @@
##########################################################################
# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
# $Rev:: $: Revision of last commit #
# $Author:: $: Author of last commit #
# $Date:: $: Date of last commit #
diff --git a/config/configure.ac b/config/configure.ac
index 055914624d1167f354dfed1af29a147374e3bbe3..7097a74cd0b3167ca8b21c62fe5c5c3045089ecc 100644
--- a/config/configure.ac
+++ b/config/configure.ac
@@ -1,5 +1,16 @@
(**************************************************************************)
(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
diff --git a/config/ml_check.ml b/config/ml_check.ml
index a08c2123ab869b29b8dc061310503e3ce22c3e44..14655130a15ffdf73f7b6d5b045ec1f6870724f3 100644
--- a/config/ml_check.ml
+++ b/config/ml_check.ml
@@ -1,5 +1,16 @@
(**************************************************************************)
(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
(* $Rev:: $: Revision of last commit *)
(* $Author:: $: Author of last commit *)
(* $Date:: $: Date of last commit *)
diff --git a/examples/README b/examples/README
index c6c1d993b03a80edf1b1d007173391af1dd5b9c2..aded98da6b2a8fe00b4436b108581c40debfa7ad 100644
--- a/examples/README
+++ b/examples/README
@@ -1,3 +1,22 @@
+**************************************************************************
+* *
+* ACG development toolkit *
+* *
+* Copyright 2008 INRIA *
+* *
+* More information on "http://acg.gforge.loria.fr/" *
+* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
+* Authors: see the AUTHORS file *
+* *
+* *
+* *
+* *
+* $Rev:: $: Revision of last commit *
+* $Author:: $: Author of last commit *
+* $Date:: $: Date of last commit *
+* *
+**************************************************************************
+
We suppose that the executables are acgc and acg (they could have been
acgc.opt or acg.opt)
diff --git a/examples/strings.acg b/examples/strings.acg
index 7ba0d7c42c9bfb7be411cc37892f8acdbfd8b6df..9f6c047b0f7907a7a27f613976c85eb94e081f33 100644
--- a/examples/strings.acg
+++ b/examples/strings.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature strings =
s:type ;
string = s->s : type;
diff --git a/examples/tag-script b/examples/tag-script
index 09b8cb3d99d5a073ce77f49005dff3f0adf48ce6..ded3fdb257f0a470e1f5d12c60811ce6dc4b3f44 100644
--- a/examples/tag-script
+++ b/examples/tag-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
# First print the help messasge that describes the commands
help;
diff --git a/examples/tag.acg b/examples/tag.acg
index 4438f9eac91dd5b8b8afd0407a6d3baa07cd324d..74de9e30d19ae95365cf71cac9684540a18c5486 100644
--- a/examples/tag.acg
+++ b/examples/tag.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(* We first provide a signature for the derivation trees *)
signature derivation_trees =
diff --git a/src/Makefile.common.in b/src/Makefile.common.in
index 39cfe869f7a45a9dd54df9203f3c496719e993ee..474596c6cb38f15bf6e5c8c9b92ed25de7fe4c6b 100644
--- a/src/Makefile.common.in
+++ b/src/Makefile.common.in
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
PREVIOUS_FILES = $(foreach dir,$(PREVIOUS_DIRS),$(addprefix $(dir)/,$(shell sed -n -e 's/^ML *= *\(.*\)/\1/p' $(dir)/Makefile)))
PREVIOUS_MLIS = $(foreach mli,$(PREVIOUS_FILES:.ml=.mli),$(filter $(mli),$(foreach dir,$(PREVIOUS_DIRS),$(wildcard $(dir)/*.mli))))
diff --git a/src/Makefile.in b/src/Makefile.in
index 642cf89e7ca52ef7aaaca3ef12861496b976f78b..15925351e0d987ff62dedf0834ccd4e39087e4b2 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
PHONY: test
SUBDIRS= utils logic grammars acg-data scripting lambda
diff --git a/src/Makefile.master.in b/src/Makefile.master.in
index ae34320ec3b9991b03a166e8572ccdfbde4cfde5..bf00746034ea34bea2494e7d6c84195add076403 100644
--- a/src/Makefile.master.in
+++ b/src/Makefile.master.in
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
DEBUGFLAG = -g
OCAMLCPOPT = -p fm
diff --git a/src/acg-data/Makefile.in b/src/acg-data/Makefile.in
index b492ee435e1d0f14f24d4168f37dcede75e21bb0..1f1cc5e4f3ed32cd9b74d74cab3b91c9c7e273ee 100644
--- a/src/acg-data/Makefile.in
+++ b/src/acg-data/Makefile.in
@@ -1,8 +1,21 @@
-###############################################
-# #
-# Makefile for directories with no executable #
-# #
-###############################################
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
include ../Makefile.master
diff --git a/src/acg-data/acgc.ml b/src/acg-data/acgc.ml
index a9a2d6d848d1a512a6172030f3b5a0f0f7be2695..6b557ed1a9e6e7c7636ca19df17add762953ea64 100644
--- a/src/acg-data/acgc.ml
+++ b/src/acg-data/acgc.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
module Sg = Signature.Sylvains_signature
(*module Lex = Syntactic_data_structures.Abstract_lex*)
module Lex = Lexicon.Sylvain_lexicon
diff --git a/src/acg-data/lexicon.ml b/src/acg-data/lexicon.ml
index edbf6db9ea8a5b3d04bbd111386f493b110d5f98..f02af4766e00818b9089ea441faa9957e5c6213d 100644
--- a/src/acg-data/lexicon.ml
+++ b/src/acg-data/lexicon.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
open Lambda
open Signature
diff --git a/src/acg-data/lexicon.mli b/src/acg-data/lexicon.mli
index 66d2422434d7b4b8b43c4017e61669f5f351330a..747ea937b31452cb8068ed9ff4643151d83f2db5 100644
--- a/src/acg-data/lexicon.mli
+++ b/src/acg-data/lexicon.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Signature
module Sylvain_lexicon : Interface.Lexicon_sig
diff --git a/src/acg-data/signature.ml b/src/acg-data/signature.ml
index bde7b7bb777024227a75136f3acc533a70cdcc02..c58215c23077f9c9fe167f8d31b0ff77c706407c 100644
--- a/src/acg-data/signature.ml
+++ b/src/acg-data/signature.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Lambda
open Abstract_syntax
diff --git a/src/acg-data/signature.mli b/src/acg-data/signature.mli
index 2f49f88ab61b9eadb670d89d73db1a9e0fe39d17..8d5e41b1944b14aeff10fd3a2b90d21123895d4e 100644
--- a/src/acg-data/signature.mli
+++ b/src/acg-data/signature.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
open Lambda
diff --git a/src/acg-data/typing.ml b/src/acg-data/typing.ml
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..431c3480e9f55bad88058eaeddbf016372effc3e 100644
--- a/src/acg-data/typing.ml
+++ b/src/acg-data/typing.ml
@@ -0,0 +1,19 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
diff --git a/src/data/comp-script b/src/data/comp-script
index e035391a82d6d7674de4a25d1bf6c4a33651a76f..0a841c502d29bf5e8d5a0a186e52a8cc781d7748 100644
--- a/src/data/comp-script
+++ b/src/data/comp-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
wait;
load d ../data/comp.acg;
list;
diff --git a/src/data/comp.acg b/src/data/comp.acg
index 04664dcf4f216aa9655a1d258556b24189200546..b8e8adc1425fbd056ec378d4767e251aaf4dffa3 100644
--- a/src/data/comp.acg
+++ b/src/data/comp.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature syntax =
NP,D,S,DNP_S_S,DNP_S_S2,NP_S_T_in_situ:type;
THE_MOST:NP -> DNP_S_S;
diff --git a/src/data/cvg-script b/src/data/cvg-script
index 9d3633ccb414464c5325f00f33f2aa7910ffebf4..686a69bc1b7a28f8578fc486b4e2541b366593d9 100644
--- a/src/data/cvg-script
+++ b/src/data/cvg-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
# A line starting with an hash is a comment
diff --git a/src/data/cvg-topic-script b/src/data/cvg-topic-script
index 46b77adbeb3ea13f3e3e95cbe8deaa977e602132..6a529f06ff497f93133e6870c250b8d6ce7fe520 100644
--- a/src/data/cvg-topic-script
+++ b/src/data/cvg-topic-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
load d ../data/strings.acg;
load d ../data/cvg-topicalisation-in-situ.acg;
compose CVG_strings CVG_syntax as CVG_phonology;
diff --git a/src/data/cvg-topicalisation-in-situ.acg b/src/data/cvg-topicalisation-in-situ.acg
index ae0be641e10432cc86ed5a6263654dfaac509608..b5b63540044c8f970baad9af2249c91bd3f27b3d 100644
--- a/src/data/cvg-topicalisation-in-situ.acg
+++ b/src/data/cvg-topicalisation-in-situ.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature syntax =
NP,S,T,NP_S_T,NP_S_T_in_situ : type;
diff --git a/src/data/cvg-topicalisation.acg b/src/data/cvg-topicalisation.acg
index cd9b65fbdbbbeff37a32170bca27df569c91dcc4..9d4d5d1ac14bd455b2eee146df44ce4c01ab5460 100644
--- a/src/data/cvg-topicalisation.acg
+++ b/src/data/cvg-topicalisation.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature syntax =
NP,S,T,NP_S_T : type;
diff --git a/src/data/cvg.acg b/src/data/cvg.acg
index 12b6832c74b2ceb4cb7c9ca3f999afe57fc5b17f..08f4b9318fb90ae59acdfe15c8667491a32d9241 100644
--- a/src/data/cvg.acg
+++ b/src/data/cvg.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(* This file aims at provideing an ACG encoding of CVG examples as
given in the handout of the NaTal workshop
(http://www.ling.ohio-state.edu/~pollard/cvg/natal.pdf) *)
diff --git a/src/data/cvg2-script b/src/data/cvg2-script
index 16c47ac6f66b238e62e80b145e04d6642931917b..9ef9a87428c8b3fb0eeeec6a6f27d586c44d1c86 100644
--- a/src/data/cvg2-script
+++ b/src/data/cvg2-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
load d ../data/strings.acg;
load d ../data/cvg2.acg;
compose CVG_strings CVG_syntax as CVG_phonology;
diff --git a/src/data/cvg2.acg b/src/data/cvg2.acg
index c2768eaf9f8550b45482ea11646a72afc2356923..3ac48998a4e450cf49ccfd73ea7e26fb9f8d95bc 100644
--- a/src/data/cvg2.acg
+++ b/src/data/cvg2.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature syntax =
NP,S,NP_S_Q,Q : type;
diff --git a/src/data/drt2-script b/src/data/drt2-script
index bb3d629129e67d43988ae1d7b756108cf2417a5d..e69c61e7ce5318502d3adc9e0e35a1dd24c86245 100644
--- a/src/data/drt2-script
+++ b/src/data/drt2-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
load d ../data/drt2.acg;
select drt;
analyse connait Marie Jean:s;
diff --git a/src/data/drt2.acg b/src/data/drt2.acg
index 98e1906191882374dbc64e24522e41e9fd7d30e1..d988f3fac463a7f27248de9d399cf63c3d909ae0 100644
--- a/src/data/drt2.acg
+++ b/src/data/drt2.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature syntax =
np,n,s:type;
diff --git a/src/data/drt3-script b/src/data/drt3-script
index 091eaf2d44950585ec980dfed4f19a49955ed80d..24aa9a0c4bb732c60299241f507ad2653d254b65 100644
--- a/src/data/drt3-script
+++ b/src/data/drt3-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
load d ../data/drt3.acg;
drt analyse ((ne_pas (connait (une fille))) Jean) ! (salue la Jean) :s;
drt analyse (connait (une fille) Jean) ! (salue la Jean) :s;
diff --git a/src/data/drt3.acg b/src/data/drt3.acg
index b68bafb9dca695b6e7c014cd8b1af3ad49113170..afe6054eab160ba6e6b0fae28a47c2863ff31081 100644
--- a/src/data/drt3.acg
+++ b/src/data/drt3.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature syntax =
np,n,s:type;
diff --git a/src/data/drt4.acg b/src/data/drt4.acg
index 129c091c00402e348edd97f894618bbbaaf51474..179f6457bd5a74b588012dae2a0b5e669cc3a392 100644
--- a/src/data/drt4.acg
+++ b/src/data/drt4.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature syntax =
np,n,s:type;
diff --git a/src/data/montague-drt.acg b/src/data/montague-drt.acg
index 4347f693bac715f1dfa4957ab554f37efc971abf..826747574490bffc080842e0cc708ad151b56cdb 100644
--- a/src/data/montague-drt.acg
+++ b/src/data/montague-drt.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature abstract =
np,s,n:type;
J,M,he,her,it:np;
diff --git a/src/data/montague-script b/src/data/montague-script
index dd58b77b97d329b644bb1b1ef2a3f645ee482c88..7a85d000db9c8570573f9603217508c3018e5461 100644
--- a/src/data/montague-script
+++ b/src/data/montague-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
load d ../data/montague-drt.acg;
list ;
abstract print;
diff --git a/src/data/more-script b/src/data/more-script
index f18e43168b8e40db6f4ac8e63e258317f3c30fd6..47fdd2faee07d7d811e3f12d0b93f26877c09546 100644
--- a/src/data/more-script
+++ b/src/data/more-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
load d ../data/more-3.acg;
more_sem analyse LIKE_1 THE_MOST (FOCUS MARY) JOHN : S;
more_sem analyse LIKE_2 THE_MOST MARY (FOCUS JOHN) : S;
diff --git a/src/data/more.acg b/src/data/more.acg
index 82842e712a246f4bbec366d34c33a013d51f5d90..fda3a3a055e7e6a1df9f71235fa62b74a7f37c0a 100644
--- a/src/data/more.acg
+++ b/src/data/more.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature syntax =
NP,S,DEG:type;
JOHN,MARY:NP;
diff --git a/src/data/strings.acg b/src/data/strings.acg
index 7f80438856db7d2558aac2cfd73a2c7d918f0b88..37dada6dab83235af4c8677b306ad8e578aae4d4 100644
--- a/src/data/strings.acg
+++ b/src/data/strings.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature strings =
(* s:type ;
string = s->s : type;
diff --git a/src/data/tag-script b/src/data/tag-script
index 373d4942ab6c10425169678144cd260e88889f97..f6d0d2a9668f086391585750b4ce93d04f68f18f 100644
--- a/src/data/tag-script
+++ b/src/data/tag-script
@@ -1,3 +1,22 @@
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
+
help;
load d ../data/tag.acg;
compose tag_strings tag_syntax as tag_yields;
diff --git a/src/data/tag.acg b/src/data/tag.acg
index bf521e19479f2365a0b71a35d098aa72cec2288c..198d2c57748af04c94f841b0924b7e570676cee2 100644
--- a/src/data/tag.acg
+++ b/src/data/tag.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature derivation_trees =
Sa,Na, Na_d, N, VPa, S,WH : type;
C_dog,C_cat:Na_d -> Na-> N;
diff --git a/src/data/test-type.acg b/src/data/test-type.acg
index 04b637ba0a28455f9a8b0e32a4ba1f5e6842ce25..545989830595c1824d8e13cc6f3ec626d541bb56 100644
--- a/src/data/test-type.acg
+++ b/src/data/test-type.acg
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
signature essai =
a:type;
string = a -> a : type;
diff --git a/src/grammars.old/Makefile.in b/src/grammars.old/Makefile.in
index 0ea683922e50f6d562f15b32e64bc6c97d80b5e8..8ad27a804d265de9bf3d01afcf5f41d49798b0be 100644
--- a/src/grammars.old/Makefile.in
+++ b/src/grammars.old/Makefile.in
@@ -1,8 +1,21 @@
-###############################################
-# #
-# Makefile for directories with no executable #
-# #
-###############################################
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
include ../Makefile.master
diff --git a/src/grammars.old/abstract_syntax.ml b/src/grammars.old/abstract_syntax.ml
index 7dd9e56e21fc79bb147bbcbab8c17768517bab0d..c4afdf27574f4fde219823c58e847eb793ac3256 100644
--- a/src/grammars.old/abstract_syntax.ml
+++ b/src/grammars.old/abstract_syntax.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Printf
open Tries
diff --git a/src/grammars.old/abstract_syntax.mli b/src/grammars.old/abstract_syntax.mli
index c5f540ea5640465132ec80f2d0ebedee335bf194..bb8c6b90e024a486e7b7bc96d3b12796ecdb664c 100644
--- a/src/grammars.old/abstract_syntax.mli
+++ b/src/grammars.old/abstract_syntax.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Tries
(** This modules implements the abstract syntax and the build function for the signatures *)
diff --git a/src/grammars.old/base_grammar.ml b/src/grammars.old/base_grammar.ml
index bef77b27385a6da15a6c3b2959a09fec50c5da71..1a9d68b4b03c2b5c02d9327a4f2ba6ee153b47bb 100644
--- a/src/grammars.old/base_grammar.ml
+++ b/src/grammars.old/base_grammar.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
module Base_grammar =
struct
diff --git a/src/grammars.old/base_grammar.mli b/src/grammars.old/base_grammar.mli
index fb97fcf5fc676c67ba14f24c3c19dc39ac5906f8..c9391ad46928bb73266ac1a6c16381d77e4af50f 100644
--- a/src/grammars.old/base_grammar.mli
+++ b/src/grammars.old/base_grammar.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This modules implements the basic grammar that is used for the
parsong of signtures and lexicon *)
diff --git a/src/grammars.old/lexicon_grammar.ml b/src/grammars.old/lexicon_grammar.ml
index ea3bcd52b5a478bb314863bfccfa8d77088e6e4e..96594e4b18f19463b56c9c6a988bbc4f5b59529c 100644
--- a/src/grammars.old/lexicon_grammar.ml
+++ b/src/grammars.old/lexicon_grammar.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Environment
open Abstract_syntax
open Signature_grammar
diff --git a/src/grammars.old/lexicon_grammar.mli b/src/grammars.old/lexicon_grammar.mli
index b4d3d711b7e406464edd60e1f9f16bf432f34586..add47fe3b6817d6aeb1b671f084e7fc1929164b8 100644
--- a/src/grammars.old/lexicon_grammar.mli
+++ b/src/grammars.old/lexicon_grammar.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Environment
open Abstract_syntax
open Signature_grammar
diff --git a/src/grammars.old/parser.ml b/src/grammars.old/parser.ml
index e527c1c9e2886635c0c338d1c74f0dbce80799f4..d242511628e5297e732dd2ab587e77baa6da8193 100644
--- a/src/grammars.old/parser.ml
+++ b/src/grammars.old/parser.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
open Environment
open Syntax
diff --git a/src/grammars.old/parser.mli b/src/grammars.old/parser.mli
index 51587e537aa378682dba038e87803b9f497ae61a..9167b9bf25ed9841704bd2d171fe01b0296e4139 100644
--- a/src/grammars.old/parser.mli
+++ b/src/grammars.old/parser.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
(** This modules implements the parser for both signature and lexicon files *)
diff --git a/src/grammars.old/signature_grammar.ml b/src/grammars.old/signature_grammar.ml
index 6f9322be8c30ff8814b7bced65523c875976e434..6966989454740f1186233adcef1812b9d5f03e38 100644
--- a/src/grammars.old/signature_grammar.ml
+++ b/src/grammars.old/signature_grammar.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
open Signature
open Environment
diff --git a/src/grammars.old/signature_grammar.mli b/src/grammars.old/signature_grammar.mli
index d76ba93538e81078805a5e9f01ead2260def800c..4da84bfecf8fab2a10c80ba05114142c146e5e6b 100644
--- a/src/grammars.old/signature_grammar.mli
+++ b/src/grammars.old/signature_grammar.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
open Term_grammar
diff --git a/src/grammars.old/syntax.ml b/src/grammars.old/syntax.ml
index d236ea1fbac4ad4dd23c8664db66ae54076f49e3..181499f47f341e495233806f431e781bf059860f 100644
--- a/src/grammars.old/syntax.ml
+++ b/src/grammars.old/syntax.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Lambda
open Signature
open Abstract_syntax
diff --git a/src/grammars.old/term_grammar.ml b/src/grammars.old/term_grammar.ml
index ec0ce18f034a142a92964fc201083e38643fbcfb..946848467115a28110d1ebea8152b32a36bb76bf 100644
--- a/src/grammars.old/term_grammar.ml
+++ b/src/grammars.old/term_grammar.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Signature
open Abstract_syntax
open Base_grammar
diff --git a/src/grammars.old/term_grammar.mli b/src/grammars.old/term_grammar.mli
index cdbde1038019e1fbf521effd9b94aa8708f9a25a..ccdbccaf6607fdce4b8e3847715e386174cf3086 100644
--- a/src/grammars.old/term_grammar.mli
+++ b/src/grammars.old/term_grammar.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This module implements a grammar for lamda terms *)
open Signature
diff --git a/src/grammars.old/test.ml b/src/grammars.old/test.ml
index 5bf3fe94773d691722d944c63cc39f48b63a78b1..4a193c52985d8a7cff725b7dd612d17d6c88a688 100644
--- a/src/grammars.old/test.ml
+++ b/src/grammars.old/test.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Parser
open Environment
diff --git a/src/grammars/Makefile.in b/src/grammars/Makefile.in
index 4e5ffa0b6ea6a424bb89841460d06300b93cae02..c3018d8b9e9e9373604c0bf1e37a5ea6672edd3a 100644
--- a/src/grammars/Makefile.in
+++ b/src/grammars/Makefile.in
@@ -1,8 +1,21 @@
-###############################################
-# #
-# Makefile for directories with no executable #
-# #
-###############################################
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
include ../Makefile.master
diff --git a/src/grammars/acg_token.ml b/src/grammars/acg_token.ml
index 463dbb0b686e1c317dc325155981f832db9bf1f4..320504a63e5a4f8a27065a35ff3721a1db246160 100644
--- a/src/grammars/acg_token.ml
+++ b/src/grammars/acg_token.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
module Token =
diff --git a/src/grammars/acg_token.mli b/src/grammars/acg_token.mli
index c224eaa941ab09bb9b7772eef8f811dc18af11ec..b0082f62c6482ca080ff561e661bf5f9c641b29a 100644
--- a/src/grammars/acg_token.mli
+++ b/src/grammars/acg_token.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This modules implements the types for the tokens that are useful
to the parsers and the lexers *)
diff --git a/src/grammars/entry.ml b/src/grammars/entry.ml
index 9d18379608d43ca004ed0fd2533af343ffd8b509..fa3e6748c5a62b24ccdbfbad1aa316bcff3a8b30 100644
--- a/src/grammars/entry.ml
+++ b/src/grammars/entry.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
module Entry =
struct
type data = dec
diff --git a/src/grammars/entry.mli b/src/grammars/entry.mli
index b9c3e09dfe480ce8fb67918fe9af31020cfe236e..9e504cbdf25dc296dc894c6a2dec82cc5c1a0276 100644
--- a/src/grammars/entry.mli
+++ b/src/grammars/entry.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This module provides a type for the current parsed structure. It
aims at giving useful indication to parse errors *)
diff --git a/src/grammars/environment.ml b/src/grammars/environment.ml
index baf6db5eea6c119d1efb39c58adcd05e8c59f0eb..467103512793b40cab3748d8daa8b7930a120eb4 100644
--- a/src/grammars/environment.ml
+++ b/src/grammars/environment.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Interface
open Abstract_syntax
diff --git a/src/grammars/environment.mli b/src/grammars/environment.mli
index 1e1225203bfc4f521804de71d24a295b2cc7938f..a3edcc2f3363982f286d309bccb9c7452eb8d1a0 100644
--- a/src/grammars/environment.mli
+++ b/src/grammars/environment.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Interface
open Abstract_syntax
diff --git a/src/grammars/error.ml b/src/grammars/error.ml
index 1d2d8b150dc395cba9910dbf0847cf9df9851677..d86a86c7e48921907505b47563d8262eeb835a6c 100644
--- a/src/grammars/error.ml
+++ b/src/grammars/error.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
type position = Lexing.position
let update_loc lexbuf file =
diff --git a/src/grammars/error.mli b/src/grammars/error.mli
index 6396e5ae558d4db5aa6b8e96f2ebd262394c8c5b..c2acd87335173527da5b633e5646e98262488532 100644
--- a/src/grammars/error.mli
+++ b/src/grammars/error.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This module gives some types and some utilities to mange, emit and
display messages *)
diff --git a/src/grammars/interactive.ml b/src/grammars/interactive.ml
index ef58373e51499107152e5c20ab4958e23ac37724..80203e7824b4c8f125237c04d19535e157ee443d 100644
--- a/src/grammars/interactive.ml
+++ b/src/grammars/interactive.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
let interactive = ref false
diff --git a/src/grammars/interactive.mli b/src/grammars/interactive.mli
index 46f97a91cb10ee367c2bbd856de8daddb24abedc..abb7131348b9311527cfa526f663ddc690fb3897 100644
--- a/src/grammars/interactive.mli
+++ b/src/grammars/interactive.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This modules implements a functor that builds a testing module
when provided with an implementation for a signature module and a
lexicon module *)
diff --git a/src/grammars/interface.ml b/src/grammars/interface.ml
index c2a50e2446da3ead5078f82ba591bb8f6b0d9321..e98da5ce3cfe88ec43c1ea838d21078226ddd6d4 100644
--- a/src/grammars/interface.ml
+++ b/src/grammars/interface.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
open Lambda
diff --git a/src/grammars/interface.mli b/src/grammars/interface.mli
index 9a1ce69d529a877b98b79a66a6b10976f164d9f7..28baa11649407e5792cba845b0ac83b0f0852fb1 100644
--- a/src/grammars/interface.mli
+++ b/src/grammars/interface.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
open Lambda
diff --git a/src/grammars/lexer.mll b/src/grammars/lexer.mll
index 8d7ef6b36dd96b2589f08b0d85223eb4835e0c30..e9d5c7e691361ac242716f20d7cc85e556bda1e7 100644
--- a/src/grammars/lexer.mll
+++ b/src/grammars/lexer.mll
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
{
open Entry
(* open Parser *)
diff --git a/src/grammars/parser.dyp b/src/grammars/parser.dyp
index 0ef0e8f227309da81fd5974c7b1b870be2c2a501..1d1cbeedfa6ed4b69697624bff8304b9820b39f1 100644
--- a/src/grammars/parser.dyp
+++ b/src/grammars/parser.dyp
@@ -1,3 +1,22 @@
+/**************************************************************************/
+/* */
+/* ACG development toolkit */
+/* */
+/* Copyright 2008 INRIA */
+/* */
+/* More information on "http://acg.gforge.loria.fr/" */
+/* License: CeCILL, see the LICENSE file or "http://www.cecill.info" */
+/* Authors: see the AUTHORS file */
+/* */
+/* */
+/* */
+/* */
+/* $Rev:: $: Revision of last commit */
+/* $Author:: $: Author of last commit */
+/* $Date:: $: Date of last commit */
+/* */
+/**************************************************************************/
+
%mltop {
open Abstract_syntax
diff --git a/src/grammars/syntactic_data_structures.ml b/src/grammars/syntactic_data_structures.ml
index 55b17d290f075e93b6672399a82ba7ba099fd481..f5a83cedc3d12056e6ffb25838f3911bf0f560e0 100644
--- a/src/grammars/syntactic_data_structures.ml
+++ b/src/grammars/syntactic_data_structures.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Utils
open Printf
open Tries
diff --git a/src/grammars/syntactic_data_structures.mli b/src/grammars/syntactic_data_structures.mli
index 1cf5b578cd476144b3e5dfcc3cf4897b1716a692..ea8e5f46f3d2dcfa6a48f7e9634ccc887c8f974b 100644
--- a/src/grammars/syntactic_data_structures.mli
+++ b/src/grammars/syntactic_data_structures.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
(** This modules implements the abstract syntax and the build function for the signatures *)
diff --git a/src/lambda.old/Makefile.in b/src/lambda.old/Makefile.in
index 00ea138543a54d30256967023dae4daaf9867a0e..19f891865c1b76f7d31e8014c40c9bd5de6aa2e2 100644
--- a/src/lambda.old/Makefile.in
+++ b/src/lambda.old/Makefile.in
@@ -1,8 +1,21 @@
-###############################################
-# #
-# Makefile for directories with no executable #
-# #
-###############################################
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
include ../Makefile.master
diff --git a/src/lambda.old/environment.ml b/src/lambda.old/environment.ml
index f1229e8fbaa2cbe5ecad581e4b5fd918cfb32c02..f214cf78928c5d6067215363385b6775a2dbef9a 100644
--- a/src/lambda.old/environment.ml
+++ b/src/lambda.old/environment.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Tries
open Signature
open Lexicon
diff --git a/src/lambda.old/environment.mli b/src/lambda.old/environment.mli
index 178efca603ee6caf9f13b0ea9627b705cd785c57..7fcd775c028e48cd670e3eec12098152631af786 100644
--- a/src/lambda.old/environment.mli
+++ b/src/lambda.old/environment.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Signature
open Lexicon
diff --git a/src/lambda.old/lambda.ml b/src/lambda.old/lambda.ml
index 49579144154a3f3d7b1d12e2710c33188f44156b..f86b04c4b69b064d19d379c554fe82550cd1fa78 100644
--- a/src/lambda.old/lambda.ml
+++ b/src/lambda.old/lambda.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
module Lambda =
struct
diff --git a/src/lambda.old/lexicon.ml b/src/lambda.old/lexicon.ml
index 2abe02caf4c9a8e6c4fe41e81a1e308fb90c4501..698d3abbcc6b92c7898d90f3c65d6eae54652abe 100644
--- a/src/lambda.old/lexicon.ml
+++ b/src/lambda.old/lexicon.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Lambda
open Table
open Signature
diff --git a/src/lambda.old/printing.ml b/src/lambda.old/printing.ml
index 1b99207950fd34deb9f56d910c10df84dbccd5dc..fc93e284c748a577b94a6288f37ad2dc45c37652 100644
--- a/src/lambda.old/printing.ml
+++ b/src/lambda.old/printing.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(* !!!! some renaming is needed *)
open Lambda
diff --git a/src/lambda.old/signature.ml b/src/lambda.old/signature.ml
index e32822614faa4e88cd0dee761be0e30de7c42808..c9fdeb4ed12f8d81ff0373313e6fbb3062a80b2f 100644
--- a/src/lambda.old/signature.ml
+++ b/src/lambda.old/signature.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Lambda
open Table
open Tries
diff --git a/src/lambda.old/typing.ml b/src/lambda.old/typing.ml
index 4171125e1cf1b53ab6d7c3b0ed7c3ae329b9c3f6..0ca66f67067c0fe7c50adccdb4fd8ea471fffcd8 100644
--- a/src/lambda.old/typing.ml
+++ b/src/lambda.old/typing.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Lambda
open Signature
diff --git a/src/lambda/Makefile.in b/src/lambda/Makefile.in
index c4c4825906dad28f6ab5a921af173eeda5ead2d0..03ee40f3a3727db1d33bb4b4eadc05f845502dfb 100644
--- a/src/lambda/Makefile.in
+++ b/src/lambda/Makefile.in
@@ -1,8 +1,21 @@
-###############################################
-# #
-# Makefile for directories with no executable #
-# #
-###############################################
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
include ../Makefile.master
diff --git a/src/lambda/display.ml b/src/lambda/display.ml
index 83d9d9f0cce7e8c93d093b89381471e95cc80105..bcad5a7dfb65f6ce0e7faf22a091a7f1e1f80953 100644
--- a/src/lambda/display.ml
+++ b/src/lambda/display.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Table
open Tries
open Lambda
diff --git a/src/lambda/lambda.ml b/src/lambda/lambda.ml
index 77f5d73733bef29688f1027ad16f1d1af2bbddfe..1554121e79ff09a40f86d6d063641ec7a4e31087 100644
--- a/src/lambda/lambda.ml
+++ b/src/lambda/lambda.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Table
open Tries
open Syntactic_data_structures
diff --git a/src/lambda/sign.ml b/src/lambda/sign.ml
index a7c62e7b2532fd5d05fe6ef6c11a579da7a2098e..87a7068e35cf856e07d088f0f11ef09c5863df02 100644
--- a/src/lambda/sign.ml
+++ b/src/lambda/sign.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Table
open Tries
open Lambda
diff --git a/src/lambda/sign.mli b/src/lambda/sign.mli
index 51c08de5e6964e0605fe737d11aa39de688fb7d4..bd3ac680e57703cd619d21cd4315ef23fc329d35 100644
--- a/src/lambda/sign.mli
+++ b/src/lambda/sign.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Table
open Tries
open Abstract_syntax
diff --git a/src/lambda/signature.ml b/src/lambda/signature.ml
index 8fddb9d65fa267ec0571babd39ec3a9c42f302e0..06f4ff620f97b8f031a50c24e66854262b88d7b5 100644
--- a/src/lambda/signature.ml
+++ b/src/lambda/signature.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Table
open Tries
open Abstract_syntax
diff --git a/src/lambda/signature.mli b/src/lambda/signature.mli
index 92480ce47f257d2179fd21f627e22f8401930a6d..f755c89bf43d75f61c512b8872fa58d814a3100e 100644
--- a/src/lambda/signature.mli
+++ b/src/lambda/signature.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Table
open Tries
open Abstract_syntax
diff --git a/src/lambda/test.ml b/src/lambda/test.ml
index b047cd89848d04bf393595799fd631eddde7e052..a9f8a06680f9db42722dda5e2bf0f79c45c0a4a1 100644
--- a/src/lambda/test.ml
+++ b/src/lambda/test.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
let options = []
diff --git a/src/lambda/typechecker.ml b/src/lambda/typechecker.ml
index 1d87ba606992951f99e89b2a532fc6a943d450f2..edbb0ab5128a54818f0e20b7b48643c9920bfb40 100644
--- a/src/lambda/typechecker.ml
+++ b/src/lambda/typechecker.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Utils
open Printf
open Tries
diff --git a/src/lambda/utilitaires.ml b/src/lambda/utilitaires.ml
index 436bb043b70146b42e854dbc80e89f61c7b1cd2c..acab225380b438a61ffd0736e19f5a3d2fc5b67e 100644
--- a/src/lambda/utilitaires.ml
+++ b/src/lambda/utilitaires.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Table
open Tries
open Lambda
diff --git a/src/lambda/utilitaires.mli b/src/lambda/utilitaires.mli
index 77f7931ff7d05e227cb97824001f52ba132e39e6..89a2226ac5d4d29acc11e992ccf25203d4120bd5 100644
--- a/src/lambda/utilitaires.mli
+++ b/src/lambda/utilitaires.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Table
open Tries
open Abstract_syntax
diff --git a/src/logic/Makefile.in b/src/logic/Makefile.in
index 5b6f370e8aa9414c86c16da02a40cbda7246699e..24d0a751da8140112041d9d3950271de6022067a 100644
--- a/src/logic/Makefile.in
+++ b/src/logic/Makefile.in
@@ -1,8 +1,21 @@
-###############################################
-# #
-# Makefile for directories with no executable #
-# #
-###############################################
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
include ../Makefile.master
diff --git a/src/logic/abstract_syntax.ml b/src/logic/abstract_syntax.ml
index bc609aebd79347fffa76730f6e81350006a0657d..4ceebb7ba1dbdb643e368ce0e15dff01be04276c 100644
--- a/src/logic/abstract_syntax.ml
+++ b/src/logic/abstract_syntax.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
module Abstract_syntax =
struct
diff --git a/src/logic/abstract_syntax.mli b/src/logic/abstract_syntax.mli
index 4bd88e6d268edc233c8a31a950d975bedf658af6..debbce5e0bf719bddf4add4f9403b96416d2f2f4 100644
--- a/src/logic/abstract_syntax.mli
+++ b/src/logic/abstract_syntax.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This modules implements the abstract syntax and the build function for the signatures *)
module Abstract_syntax :
diff --git a/src/logic/lambda.ml b/src/logic/lambda.ml
index 48f9a41642d89d90b971d199fd8e763c3ebef044..58d563d7f9b20392ac809fbea981e772e7e0c9ad 100644
--- a/src/logic/lambda.ml
+++ b/src/logic/lambda.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
module Lambda =
diff --git a/src/logic/lambda.mli b/src/logic/lambda.mli
index a2db6e43cde908047b8eef79a197a6e73588bb49..a213a35f6c6e98fabcb87bec14ac90ff2aa8a1b0 100644
--- a/src/logic/lambda.mli
+++ b/src/logic/lambda.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
module Lambda :
sig
diff --git a/src/scripting/Makefile.in b/src/scripting/Makefile.in
index 933cfc74536180b649eb15d50ed166b7c6bf24c6..7412470ea32aa3cda77e9a766b9d0745ce478cb1 100644
--- a/src/scripting/Makefile.in
+++ b/src/scripting/Makefile.in
@@ -1,8 +1,21 @@
-###############################################
-# #
-# Makefile for directories with no executable #
-# #
-###############################################
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
include ../Makefile.master
diff --git a/src/scripting/acg.ml b/src/scripting/acg.ml
index 2836af6d6fe249d0bb91b6ac5aee3f3ed654ad8e..b68c2d54e555af3f2c1ba73c3ccdb5e0941053ee 100644
--- a/src/scripting/acg.ml
+++ b/src/scripting/acg.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Functions
let () = Sys.catch_break true
diff --git a/src/scripting/functions.ml b/src/scripting/functions.ml
index 8f98d44aaefa94718964eac9f8ad6f5278841c3a..c180ccf42177cd693bf26d5fead23103f77f750c 100644
--- a/src/scripting/functions.ml
+++ b/src/scripting/functions.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Environment
module type Action_sig =
diff --git a/src/scripting/functions.mli b/src/scripting/functions.mli
index ba1099c2e3ccdf008db102cffd738357233c49a3..e96b93d63a88a32345143940eca870f1ea510742 100644
--- a/src/scripting/functions.mli
+++ b/src/scripting/functions.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Environment
module type Action_sig =
diff --git a/src/scripting/script_lexer.mll b/src/scripting/script_lexer.mll
index c8e21d50ee090d6e74a55a7c27f82018fc1e3c41..f3148028511c910e0c9b95c9df0909240496cd97 100644
--- a/src/scripting/script_lexer.mll
+++ b/src/scripting/script_lexer.mll
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
{
open Abstract_syntax
(* open Error*)
diff --git a/src/scripting/script_parser.dyp b/src/scripting/script_parser.dyp
index de54fe7ad0e345f18a5317def83d7731e4ca6bd9..124117028eeaec74190f3b66a3999f0540800ea3 100644
--- a/src/scripting/script_parser.dyp
+++ b/src/scripting/script_parser.dyp
@@ -1,3 +1,22 @@
+/**************************************************************************/
+/* */
+/* ACG development toolkit */
+/* */
+/* Copyright 2008 INRIA */
+/* */
+/* More information on "http://acg.gforge.loria.fr/" */
+/* License: CeCILL, see the LICENSE file or "http://www.cecill.info" */
+/* Authors: see the AUTHORS file */
+/* */
+/* */
+/* */
+/* */
+/* $Rev:: $: Revision of last commit */
+/* $Author:: $: Author of last commit */
+/* $Date:: $: Date of last commit */
+/* */
+/**************************************************************************/
+
%mltop{
open Script_lexer
let id = fun x -> x
diff --git a/src/scripting/scripting_errors.ml b/src/scripting/scripting_errors.ml
index 5b3e5e290f02413b00aed06e2a927fe4ba25822c..bdc7238c8c130dff3a2ac5f515eafbf07ca34575 100644
--- a/src/scripting/scripting_errors.ml
+++ b/src/scripting/scripting_errors.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
open Abstract_syntax
type command =
diff --git a/src/scripting/scripting_errors.mli b/src/scripting/scripting_errors.mli
index dbce5cfb575297fba94a5f1c8d2faf8aa5ddce69..2d948692620f5ba72ef99615df01ff45e79b4a34 100644
--- a/src/scripting/scripting_errors.mli
+++ b/src/scripting/scripting_errors.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
type command =
| Load
diff --git a/src/utils/Makefile.in b/src/utils/Makefile.in
index d21a2f2c5116ec914260f21dadf889f90dbd4710..a27349b0e9058d1f99b012eb45670af9f6469e13 100644
--- a/src/utils/Makefile.in
+++ b/src/utils/Makefile.in
@@ -1,8 +1,21 @@
-###############################################
-# #
-# Makefile for directories with no executable #
-# #
-###############################################
+##########################################################################
+# #
+# ACG development toolkit #
+# #
+# Copyright 2008 INRIA #
+# #
+# More information on "http://acg.gforge.loria.fr/" #
+# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
+# Authors: see the AUTHORS file #
+# #
+# #
+# #
+# #
+# $Rev:: $: Revision of last commit #
+# $Author:: $: Author of last commit #
+# $Date:: $: Date of last commit #
+# #
+##########################################################################
include ../Makefile.master
diff --git a/src/utils/table.ml b/src/utils/table.ml
index ceb06ca358ab2abb3f97490dfa8b5401c0c4eb9b..942e018c2d9ef560a53abce641fc2f79be7b67c3 100644
--- a/src/utils/table.ml
+++ b/src/utils/table.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
module type BASE =
sig
val b : int
diff --git a/src/utils/table.mli b/src/utils/table.mli
index f88bcfd456465189daec8d13356dacfc9a4a6ad7..3d3110780be27b3a2dc320b6a74520deef9dc9a1 100644
--- a/src/utils/table.mli
+++ b/src/utils/table.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This module implements a functor returning an {e non-funtional}
lookup table when provided with a given size *)
diff --git a/src/utils/tries.ml b/src/utils/tries.ml
index 75603efe5028a8e662e3b5b33c844e81e47fdc3f..b49efa0a6dcf1b64863d57b86081f977de4d6a11 100644
--- a/src/utils/tries.ml
+++ b/src/utils/tries.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
module Tries =
struct
diff --git a/src/utils/tries.mli b/src/utils/tries.mli
index 44c6c3036c30521f20a6822674144e4f7508f9ef..19b21b3dd3855cdd63e9233802daa11eb18c261b 100644
--- a/src/utils/tries.mli
+++ b/src/utils/tries.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This modules implements the tries *)
module Tries : Table.TABLE with type key=string
diff --git a/src/utils/utils.ml b/src/utils/utils.ml
index 6936750a02a32e9d6e36559b68ad3e0d3fbb6137..b5baa02bfe2581bf7c1166a09634de7bcb767e22 100644
--- a/src/utils/utils.ml
+++ b/src/utils/utils.ml
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
module StringSet = Set.Make (String)
module StringMap = Map.Make (String)
diff --git a/src/utils/utils.mli b/src/utils/utils.mli
index f6b86792bfe4b1dc9149b44a29fa840151f91791..32b47b4cdce7009a78224c354639ee3e12d03428 100644
--- a/src/utils/utils.mli
+++ b/src/utils/utils.mli
@@ -1,3 +1,22 @@
+(**************************************************************************)
+(* *)
+(* ACG development toolkit *)
+(* *)
+(* Copyright 2008 INRIA *)
+(* *)
+(* More information on "http://acg.gforge.loria.fr/" *)
+(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
+(* Authors: see the AUTHORS file *)
+(* *)
+(* *)
+(* *)
+(* *)
+(* $Rev:: $: Revision of last commit *)
+(* $Author:: $: Author of last commit *)
+(* $Date:: $: Date of last commit *)
+(* *)
+(**************************************************************************)
+
(** This module provides some useful modules or functions *)
(** [StringSet] is a module for set of [strings] *)