From 4be5b1b1e46a15e01b98a8a64faee97d9358913f Mon Sep 17 00:00:00 2001 From: Sylvain Pogodalla Date: Tue, 21 Oct 2008 15:11:50 +0000 Subject: [PATCH] Header with copyright and svn keywords added --- INSTALL | 19 ++++++++++++++++++ LICENSE.en | 18 +++++++++++++++++ LICENSE.fr | 18 +++++++++++++++++ Makefile.in | 19 ++++++++++++++++++ README | 19 ++++++++++++++++++ config/Makefile.in | 11 +++++++++++ config/configure.ac | 11 +++++++++++ config/ml_check.ml | 11 +++++++++++ examples/README | 19 ++++++++++++++++++ examples/strings.acg | 19 ++++++++++++++++++ examples/tag-script | 19 ++++++++++++++++++ examples/tag.acg | 19 ++++++++++++++++++ src/Makefile.common.in | 19 ++++++++++++++++++ src/Makefile.in | 19 ++++++++++++++++++ src/Makefile.master.in | 19 ++++++++++++++++++ src/acg-data/Makefile.in | 23 +++++++++++++++++----- src/acg-data/acgc.ml | 19 ++++++++++++++++++ src/acg-data/lexicon.ml | 19 ++++++++++++++++++ src/acg-data/lexicon.mli | 19 ++++++++++++++++++ src/acg-data/signature.ml | 19 ++++++++++++++++++ src/acg-data/signature.mli | 19 ++++++++++++++++++ src/acg-data/typing.ml | 19 ++++++++++++++++++ src/data/comp-script | 19 ++++++++++++++++++ src/data/comp.acg | 19 ++++++++++++++++++ src/data/cvg-script | 19 ++++++++++++++++++ src/data/cvg-topic-script | 19 ++++++++++++++++++ src/data/cvg-topicalisation-in-situ.acg | 19 ++++++++++++++++++ src/data/cvg-topicalisation.acg | 19 ++++++++++++++++++ src/data/cvg.acg | 19 ++++++++++++++++++ src/data/cvg2-script | 19 ++++++++++++++++++ src/data/cvg2.acg | 19 ++++++++++++++++++ src/data/drt2-script | 19 ++++++++++++++++++ src/data/drt2.acg | 19 ++++++++++++++++++ src/data/drt3-script | 19 ++++++++++++++++++ src/data/drt3.acg | 19 ++++++++++++++++++ src/data/drt4.acg | 19 ++++++++++++++++++ src/data/montague-drt.acg | 19 ++++++++++++++++++ src/data/montague-script | 19 ++++++++++++++++++ src/data/more-script | 19 ++++++++++++++++++ src/data/more.acg | 19 ++++++++++++++++++ src/data/strings.acg | 19 ++++++++++++++++++ src/data/tag-script | 19 ++++++++++++++++++ src/data/tag.acg | 19 ++++++++++++++++++ src/data/test-type.acg | 19 ++++++++++++++++++ src/grammars.old/Makefile.in | 23 +++++++++++++++++----- src/grammars.old/abstract_syntax.ml | 19 ++++++++++++++++++ src/grammars.old/abstract_syntax.mli | 19 ++++++++++++++++++ src/grammars.old/base_grammar.ml | 19 ++++++++++++++++++ src/grammars.old/base_grammar.mli | 19 ++++++++++++++++++ src/grammars.old/lexicon_grammar.ml | 19 ++++++++++++++++++ src/grammars.old/lexicon_grammar.mli | 19 ++++++++++++++++++ src/grammars.old/parser.ml | 19 ++++++++++++++++++ src/grammars.old/parser.mli | 19 ++++++++++++++++++ src/grammars.old/signature_grammar.ml | 19 ++++++++++++++++++ src/grammars.old/signature_grammar.mli | 19 ++++++++++++++++++ src/grammars.old/syntax.ml | 19 ++++++++++++++++++ src/grammars.old/term_grammar.ml | 19 ++++++++++++++++++ src/grammars.old/term_grammar.mli | 19 ++++++++++++++++++ src/grammars.old/test.ml | 19 ++++++++++++++++++ src/grammars/Makefile.in | 23 +++++++++++++++++----- src/grammars/acg_token.ml | 19 ++++++++++++++++++ src/grammars/acg_token.mli | 19 ++++++++++++++++++ src/grammars/entry.ml | 19 ++++++++++++++++++ src/grammars/entry.mli | 19 ++++++++++++++++++ src/grammars/environment.ml | 19 ++++++++++++++++++ src/grammars/environment.mli | 19 ++++++++++++++++++ src/grammars/error.ml | 19 ++++++++++++++++++ src/grammars/error.mli | 19 ++++++++++++++++++ src/grammars/interactive.ml | 19 ++++++++++++++++++ src/grammars/interactive.mli | 19 ++++++++++++++++++ src/grammars/interface.ml | 19 ++++++++++++++++++ src/grammars/interface.mli | 19 ++++++++++++++++++ src/grammars/lexer.mll | 19 ++++++++++++++++++ src/grammars/parser.dyp | 19 ++++++++++++++++++ src/grammars/syntactic_data_structures.ml | 19 ++++++++++++++++++ src/grammars/syntactic_data_structures.mli | 19 ++++++++++++++++++ src/lambda.old/Makefile.in | 23 +++++++++++++++++----- src/lambda.old/environment.ml | 19 ++++++++++++++++++ src/lambda.old/environment.mli | 19 ++++++++++++++++++ src/lambda.old/lambda.ml | 19 ++++++++++++++++++ src/lambda.old/lexicon.ml | 19 ++++++++++++++++++ src/lambda.old/printing.ml | 19 ++++++++++++++++++ src/lambda.old/signature.ml | 19 ++++++++++++++++++ src/lambda.old/typing.ml | 19 ++++++++++++++++++ src/lambda/Makefile.in | 23 +++++++++++++++++----- src/lambda/display.ml | 19 ++++++++++++++++++ src/lambda/lambda.ml | 19 ++++++++++++++++++ src/lambda/sign.ml | 19 ++++++++++++++++++ src/lambda/sign.mli | 19 ++++++++++++++++++ src/lambda/signature.ml | 19 ++++++++++++++++++ src/lambda/signature.mli | 19 ++++++++++++++++++ src/lambda/test.ml | 19 ++++++++++++++++++ src/lambda/typechecker.ml | 19 ++++++++++++++++++ src/lambda/utilitaires.ml | 19 ++++++++++++++++++ src/lambda/utilitaires.mli | 19 ++++++++++++++++++ src/logic/Makefile.in | 23 +++++++++++++++++----- src/logic/abstract_syntax.ml | 19 ++++++++++++++++++ src/logic/abstract_syntax.mli | 19 ++++++++++++++++++ src/logic/lambda.ml | 19 ++++++++++++++++++ src/logic/lambda.mli | 19 ++++++++++++++++++ src/scripting/Makefile.in | 23 +++++++++++++++++----- src/scripting/acg.ml | 19 ++++++++++++++++++ src/scripting/functions.ml | 19 ++++++++++++++++++ src/scripting/functions.mli | 19 ++++++++++++++++++ src/scripting/script_lexer.mll | 19 ++++++++++++++++++ src/scripting/script_parser.dyp | 19 ++++++++++++++++++ src/scripting/scripting_errors.ml | 19 ++++++++++++++++++ src/scripting/scripting_errors.mli | 19 ++++++++++++++++++ src/utils/Makefile.in | 23 +++++++++++++++++----- src/utils/table.ml | 19 ++++++++++++++++++ src/utils/table.mli | 19 ++++++++++++++++++ src/utils/tries.ml | 19 ++++++++++++++++++ src/utils/tries.mli | 19 ++++++++++++++++++ src/utils/utils.ml | 19 ++++++++++++++++++ src/utils/utils.mli | 19 ++++++++++++++++++ 115 files changed, 2151 insertions(+), 40 deletions(-) diff --git a/INSTALL b/INSTALL index 00c6bb8..c79e606 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 fcc8df2..a63b48f 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 1613fca..cad88c7 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 29b8312..f1e35e3 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 f5a099b..aa2e2d5 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 edc8850..ecba5d1 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 0559146..7097a74 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 a08c212..1465513 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 c6c1d99..aded98d 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 7ba0d7c..9f6c047 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 09b8cb3..ded3fdb 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 4438f9e..74de9e3 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 39cfe86..474596c 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 642cf89..1592535 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 ae34320..bf00746 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 b492ee4..1f1cc5e 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 a9a2d6d..6b557ed 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 edbf6db..f02af47 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 66d2422..747ea93 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 bde7b7b..c58215c 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 2f49f88..8d5e41b 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 e69de29..431c348 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 e035391..0a841c5 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 04664dc..b8e8adc 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 9d3633c..686a69b 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 46b77ad..6a529f0 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 ae0be64..b5b6354 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 cd9b65f..9d4d5d1 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 12b6832..08f4b93 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 16c47ac..9ef9a87 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 c2768ea..3ac4899 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 bb3d629..e69c61e 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 98e1906..d988f3f 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 091eaf2..24aa9a0 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 b68bafb..afe6054 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 129c091..179f645 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 4347f69..8267475 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 dd58b77..7a85d00 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 f18e431..47fdd2f 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 82842e7..fda3a3a 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 7f80438..37dada6 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 373d494..f6d0d2a 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 bf521e1..198d2c5 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 04b637b..5459898 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 0ea6839..8ad27a8 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 7dd9e56..c4afdf2 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 c5f540e..bb8c6b9 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 bef77b2..1a9d68b 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 fb97fcf..c9391ad 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 ea3bcd5..96594e4 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 b4d3d71..add47fe 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 e527c1c..d242511 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 51587e5..9167b9b 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 6f9322b..6966989 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 d76ba93..4da84bf 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 d236ea1..181499f 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 ec0ce18..9468484 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 cdbde10..ccdbcca 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 5bf3fe9..4a193c5 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 4e5ffa0..c3018d8 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 463dbb0..320504a 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 c224eaa..b0082f6 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 9d18379..fa3e674 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 b9c3e09..9e504cb 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 baf6db5..4671035 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 1e12252..a3edcc2 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 1d2d8b1..d86a86c 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 6396e5a..c2acd87 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 ef58373..80203e7 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 46f97a9..abb7131 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 c2a50e2..e98da5c 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 9a1ce69..28baa11 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 8d7ef6b..e9d5c7e 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 0ef0e8f..1d1cbee 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 55b17d2..f5a83ce 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 1cf5b57..ea8e5f4 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 00ea138..19f8918 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 f1229e8..f214cf7 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 178efca..7fcd775 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 4957914..f86b04c 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 2abe02c..698d3ab 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 1b99207..fc93e28 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 e328226..c9fdeb4 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 4171125..0ca66f6 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 c4c4825..03ee40f 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 83d9d9f..bcad5a7 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 77f5d73..1554121 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 a7c62e7..87a7068 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 51c08de..bd3ac68 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 8fddb9d..06f4ff6 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 92480ce..f755c89 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 b047cd8..a9f8a06 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 1d87ba6..edbb0ab 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 436bb04..acab225 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 77f7931..89a2226 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 5b6f370..24d0a75 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 bc609ae..4ceebb7 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 4bd88e6..debbce5 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 48f9a41..58d563d 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 a2db6e4..a213a35 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 933cfc7..7412470 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 2836af6..b68c2d5 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 8f98d44..c180ccf 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 ba1099c..e96b93d 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 c8e21d5..f314802 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 de54fe7..1241170 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 5b3e5e2..bdc7238 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 dbce5cf..2d94869 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 d21a2f2..a27349b 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 ceb06ca..942e018 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 f88bcfd..3d31107 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 75603ef..b49efa0 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 44c6c30..19b21b3 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 6936750..b5baa02 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 f6b8679..32b47b4 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] *) -- GitLab