Skip to content

GitLab

A
ACGtk
Commit d55a3c01 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain
Browse files
Options

Changed the acg.gforge.loria.fr to correct acg.gforge.inria.fr

parent f8f79cd2
Hide whitespace changes
Inline Side-by-side
Showing with 85 additions and 85 deletions
LICENSE.en
View file @ d55a3c01
......@@ -4,7 +4,7 @@
* *
* Copyright 2008 INRIA *
* *
* More information on "http://acg.gforge.loria.fr/" *
* More information on "http://acg.gforge.inria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
* Authors: see the AUTHORS file *
* *
......
LICENSE.fr
View file @ d55a3c01
......@@ -4,7 +4,7 @@
* *
* Copyright 2008 INRIA *
* *
* More information on "http://acg.gforge.loria.fr/" *
* More information on "http://acg.gforge.inria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
* Authors: see the AUTHORS file *
* *
......
Makefile.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
config/Makefile.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
config/configure.ac
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
config/ml_check.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
emacs/acg.el
View file @ d55a3c01
......@@ -4,7 +4,7 @@
;;
;; Copyright 2008 INRIA
;;
;; More information on "http://acg.gforge.loria.fr/"
;; More information on "http://acg.gforge.inria.fr/"
;; License: CeCILL, see the LICENSE file or "http://www.cecill.info"
;; Authors: see the AUTHORS file
;;
......
examples/README
View file @ d55a3c01
......@@ -4,7 +4,7 @@
* *
* Copyright 2008 INRIA *
* *
* More information on "http://acg.gforge.loria.fr/" *
* More information on "http://acg.gforge.inria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
* Authors: see the AUTHORS file *
* *
......
examples/strings.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
examples/tag-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
examples/tag.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
header
View file @ d55a3c01
......@@ -3,7 +3,7 @@
Copyright 2008 INRIA
More information on "http://acg.gforge.loria.fr/"
More information on "http://acg.gforge.inria.fr/"
License: CeCILL, see the LICENSE file or "http://www.cecill.info"
Authors: see the AUTHORS file
......
src/Makefile.common.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/Makefile.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/Makefile.master.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/acg-data/Makefile.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/acg-data/acg_lexicon.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/acg-data/acg_lexicon.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/acg-data/acgc.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/acg-data/signature.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/acg-data/signature.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/acg-data/type_system.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/acg-data/type_system.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/comp-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/data/comp.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/cvg-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/data/cvg-topic-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/data/cvg-topicalisation-in-situ.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/cvg-topicalisation.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/cvg.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/cvg2-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/data/cvg2.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/drt2-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/data/drt2.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/drt3-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/data/drt3.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/drt4.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/montague-drt.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/montague-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/data/more-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/data/more.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/strings.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/tag-script
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/data/tag.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/data/test-type.acg
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/datalog.prover/Makefile.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/datalog.solver/Makefile.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/grammars/Makefile.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/grammars/acg_token.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/acg_token.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/data_lexer.mll
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/data_parser.dyp
View file @ d55a3c01
......@@ -4,7 +4,7 @@
/* */
/* Copyright 2008 INRIA */
/* */
/* More information on "http://acg.gforge.loria.fr/" */
/* More information on "http://acg.gforge.inria.fr/" */
/* License: CeCILL, see the LICENSE file or "http://www.cecill.info" */
/* Authors: see the AUTHORS file */
/* */
......
src/grammars/entry.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/entry.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/environment.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/environment.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/error.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/error.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/interactive.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/interactive.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/interface.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/grammars/interface.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/logic/Makefile.in
View file @ d55a3c01
......@@ -4,7 +4,7 @@
# #
# Copyright 2008 INRIA #
# #
# More information on "http://acg.gforge.loria.fr/" #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
# Authors: see the AUTHORS file #
# #
......
src/logic/abstract_syntax.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/logic/abstract_syntax.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/logic/lambda.ml
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)
(* *)
(* More information on "http://acg.gforge.loria.fr/" *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
(* Authors: see the AUTHORS file *)
(* *)
......
src/logic/lambda.mli
View file @ d55a3c01
......@@ -4,7 +4,7 @@
(* *)
(* Copyright 2008 INRIA *)