Commit fb251827 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Documentation updated to fit the new arguments of the acg and acgc binaries....

Documentation updated to fit the new arguments of the acg and acgc binaries. Copyright dates modified
parent 1b2125f4
; -*-org-*-
* Version 1.5.1
** Remove dependency to the ocf package
** Arguments of acg and acgg are now handled by the Cmdliner library
*** For acgc, arguments are now:
1. `--version` (instead of `-version`) to get the version number of the software
2. `-o` and `--output` (instead of only `-o`) to output the result in a specific file
3. `-I` and `--include` (instead of only `-I`) to add directories where to look for files
4. `-i` and `--interactive` (instead of only `-i`) to enter the interaction loop
5. `--help` (instead of `-help` and `--help`) to get help
*** For acg, arguments are now:
1. `--version` (instead of `-version`) to get the version number of the software
2. `-I` and `--include` (instead of only `-I`) to add directories where to look for files
3. `--nc` and `--no-color` (instead of `-nc`) to toggle off output coloring
4. `--npp` and `--no-pretty-printing` (instead of `-npp`) to toggle off output pretty printing
5. `--nsvg` and `--no-svg` (instead of `-nsvg`) to toggle off svg output of the `realize` acg command
6. `--realize` (instead of `-realize`) to set the configuration file with the rendering engines
7. `--svg` (instead of `-svg`) to set the file name of the svg output of the `realize` acg command
8. `--help` (instead of `-help` and `--help`) to get help
* Version 1.5.0
** The acgc.opt/acgc compiler and the acg.opt/acg interpreter:
+ Some syntax changes:
......
# Version 1.5.1
## Remove dependency to the ocf package
## Arguments of acg and acgg are now handled by the Cmdliner library
* For acgc, arguments are now:
1. `--version` (instead of `-version`) to get the version number of the software
2. `-o` and `--output` (instead of only `-o`) to output the result in a specific file
3. `-I` and `--include` (instead of only `-I`) to add directories where to look for files
4. `-i` and `--interactive` (instead of only `-i`) to enter the interaction loop
5. `--help` (instead of `-help` and `--help`) to get help
* For acg, arguments are now:
1. `--version` (instead of `-version`) to get the version number of the software
2. `-I` and `--include` (instead of only `-I`) to add directories where to look for files
3. `--nc` and `--no-color` (instead of `-nc`) to toggle off output coloring
4. `--npp` and `--no-pretty-printing` (instead of `-npp`) to toggle off output pretty printing
5. `--nsvg` and `--no-svg` (instead of `-nsvg`) to toggle off svg output of the `realize` acg command
6. `--realize` (instead of `-realize`) to set the configuration file with the rendering engines
7. `--svg` (instead of `-svg`) to set the file name of the svg output of the `realize` acg command
8. `--help` (instead of `-help` and `--help`) to get help
# Version 1.5.0
## The acgc.opt/acgc compiler and the acg.opt/acg interpreter:
......
......@@ -2,7 +2,7 @@
* *
* ACG development toolkit *
* *
* Copyright 2008-2018 INRIA *
* Copyright 2008-2021 INRIA *
* *
* More information on "http://acg.gforge.inria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
......@@ -27,12 +27,12 @@ In order to compile the ACG toolkit, you need:
+ menhir installed (http://gallium.inria.fr/~fpottier/menhir/)
+ ANSITerminal (>=0.6.5) installed (https://forge.ocamlcore.org/projects/ansiterminal/)
+ fmt installed (http://erratique.ch/software/fmt)
+ cmdliner installed (http://erratique.ch/software/https://erratique.ch/software/cmdliner)
+ logs installed (http://erratique.ch/software/logs)
+ cairo2 (>=0.4.6) installed (http://forge.ocamlcore.org/projects/cairo/)
+ easy-format installed (http://mjambon.com/releases/easy-format/easy-format-1.0.2.tar.gz). Required by biniou
+ biniou (>=1.0.6) installed (http://mjambon.com/biniou.html). Required by yojson
+ yojson (>=1.1.8) installed (http://mjambon.com/yojson.html). Required by ocf
+ ocf (>=0.4.0) installed (http://zoggy.github.io/ocf/)
+ yojson (>=1.1.8) installed (http://mjambon.com/yojson.html).
For best results (correct rendering of symbols in the graphical output),
please also install the free DejaVu fonts (http://dejavu-fonts.org).
......
......@@ -2,7 +2,7 @@
# INSTALL
**ACGtk** is a software package ([2008-2018 INRIA](http://www.inria.fr)©) for the development of abstract categorial grammars. This distribution provides two executables file: `acgc` and `acg`.
**ACGtk** is a software package ([2008-2021 INRIA](http://www.inria.fr)©) for the development of abstract categorial grammars. This distribution provides two executables file: `acgc` and `acg`.
It is distributed with the *CeCILL* license (see the [LICENSE](LICENSE.en) file or http://www.cecill.info). Contributors are listed in the (AUTHORS)[AUTHORS] file.
......@@ -16,12 +16,12 @@ In order to compile the ACG toolkit, you need:
* `menhir` installed (http://gallium.inria.fr/~fpottier/menhir/)
* `ANSITerminal` (>=0.6.5) installed (https://github.com/Chris00/ANSITerminal)
* `fmt` installed (http://erratique.ch/software/fmt)
* `cmdliner` installed (http://erratique.ch/software/https://erratique.ch/software/cmdliner)
* `logs` installed (http://erratique.ch/software/logs)
* `cairo2` (>=0.4.6) installed (https://github.com/Chris00/ocaml-cairo)
* `easy-format` installed (https://github.com/mjambon/easy-format). Required by biniou
* `biniou` (>=1.0.6) installed (https://github.com/mjambon/biniou). Required by yojson
* `yojson` (>=1.1.8) installed (https://github.com/mjambon/yojson). Required by ocf
* `ocf` (>=0.4.0) installed (http://zoggy.github.io/ocf/)
* `yojson` (>=1.1.8) installed (https://github.com/mjambon/yojson).
For best results (correct rendering of symbols in the graphical output), please also install the free DejaVu fonts (http://dejavu-fonts.org).
......
......@@ -2,7 +2,7 @@
* *
* ACG development toolkit *
* *
* Copyright 2008-2018 INRIA *
* Copyright 2008-2021 INRIA *
* *
* More information on "http://acg.gforge.inria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
......
......@@ -2,7 +2,7 @@
* *
* ACG development toolkit *
* *
* Copyright 2008-2018 INRIA *
* Copyright 2008-2021 INRIA *
* *
* More information on "http://acg.gforge.inria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
......
......@@ -2,7 +2,7 @@
* *
* ACG development toolkit *
* *
* Copyright 2008-2018 INRIA *
* Copyright 2008-2021 INRIA *
* *
* More information on "http://acg.gforge.inria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
* *
* ACG development toolkit *
* *
* Copyright 2008-2018 INRIA *
* Copyright 2008-2021 INRIA *
* *
* More information on "http://acg.gforge.inria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
......@@ -36,7 +36,7 @@ available to parse terms according to signatures.
Run
./acgc -help
./acgc --help
to get help
......@@ -112,10 +112,10 @@ Type CTRL-D to exit from the program, or type:
* SVG output *
**************
If the -nsvg option is not set when running acg, a file
If the --nsvg option is not set when running acg, a file
"realize.svg" (default name) is generated in the current directory
whenever a 'realize' command is invoked. In order to set another file
name, use the option -svg other_filename.
name, use the option --svg other_filename.
This files contains a representation as a tree of the operations
described by the term to realize (applications, abstractions). Each
......@@ -152,7 +152,7 @@ the characters
The association between the name of a signature and a rendering engine
is declared in a configuration file that can be loaded through the
'-realize' option and that looks like:
'--realize' option and that looks like:
$ cat config.json
{
......
# ACGtk: an ACG development toolkit
**ACGtk** is a software package ([2008-2017 INRIA](http://www.inria.fr)©) for the development of abstract categorial grammars. This distribution provides two executables file: `acgc` and `acg`.
**ACGtk** is a software package ([2008-2021 INRIA](http://www.inria.fr)©) for the development of abstract categorial grammars. This distribution provides two executables file: `acgc` and `acg`.
It is distributed with the *CeCILL* license (see the [LICENSE](LICENSE.en) file or http://www.cecill.info). Contributors are listed in the [AUTHORS.md](AUTHORS.md) file.
......@@ -13,7 +13,7 @@ A list of related publications is available at the [ACG web page](http://calligr
Run
```bash
./acgc -help
./acgc --help
```
to get help.
......@@ -71,7 +71,7 @@ Type `CTRL-D` to exit from the program, or type:
### SVG output
If the `-nsvg` option is not set when running `acg, a file `realize.svg` (default name) is generated in the current directory whenever a `realize` command is invoked. In order to set another file name, use the option `-svg other_filename`.
If the `--nsvg` option is not set when running `acg`, a file `realize.svg` (default name) is generated in the current directory whenever a `realize` command is invoked. In order to set another file name, use the option `--svg other_filename`.
This files contains a representation as a tree of the operations described by the term to realize (applications, abstractions). Each
node contains the abstract term and its realizations by each of the lexicons specified on the command line. The graphic file can for
......@@ -100,7 +100,7 @@ Four rendering engines are available so far to render the terms in each node:
* the "unranked trees": terms are rendered as trees, but if a non-terminal is defined as `[a-zA-Z]+[0-9]*`, it is rendered only using
the `[a-zA-Z]` part.
The association between the name of a signature and a rendering engine is declared in a configuration file that can be loaded through the `-realize` option and that looks like:
The association between the name of a signature and a rendering engine is declared in a configuration file that can be loaded through the `--realize` option and that looks like:
```bash
$ cat config.json
{
......
......@@ -15,7 +15,6 @@ depends: [
"cairo2"
"yojson"
"easy-format"
"ocf"
]
available: [ ocaml-version >= "4.03.0" ]
......
......@@ -2,7 +2,7 @@
;;
;; ACG development toolkit
;;
;; Copyright 2008-2018 INRIA
;; Copyright 2008-2021 INRIA
;;
;; More information on "http://acg.gforge.inria.fr/"
;; License: CeCILL, see the LICENSE file or "http://www.cecill.info"
......
......@@ -2,7 +2,7 @@
* *
* ACG development toolkit *
* *
* Copyright 2008-2018 INRIA *
* Copyright 2008-2021 INRIA *
* *
* More information on "http://acg.gforge.inria.fr/" *
* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *
......@@ -17,7 +17,7 @@
* *
**************************************************************************
ACGtk is a software package (2008-2018 INRIA©, http://www.inria.fr)
ACGtk is a software package (2008-2021 INRIA©, http://www.inria.fr)
for the development of abstract categorial grammars. This distribution
provides two executables (possibly with the .opt extension, see the
INSTALL file: acgc and acg (or, instead, their native counterparts:
......
# ACGtk: an ACG development toolkit.
**ACGtk** is a software package ([2008-2018 INRIA](http://www.inria.fr)©) for the development of abstract categorial grammars. This distribution provides two executables (possibly with the `.opt` extension, see the (INSTALL)[INSTALL] file: `acgc` and `acg` (or, instead, their native counterparts: `acgc.opt` and `acg.opt`).
**ACGtk** is a software package ([2008-2021 INRIA](http://www.inria.fr)©) for the development of abstract categorial grammars. This distribution provides two executables (possibly with the `.opt` extension, see the (INSTALL)[INSTALL] file: `acgc` and `acg` (or, instead, their native counterparts: `acgc.opt` and `acg.opt`).
It is distributed with the *CeCILL* license (see the [LICENSE](LICENSE.en) file or http://www.cecill.info). Contributors are listed in the [AUTHORS.md](AUTHORS.md) file.
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
load o jlm-strings.acgo;
load o jlm-trees.acgo;
load o jlm-derivations.acgo;
load o jlm-logic.acgo;
load o jlm-tag.acgo;
load o jlm-cotag.acgo;
TAG_derivations TAG_derived_trees yield_TAG sem_TAG realize C_left I_s (C_in_order (C_to_arrive C_on_time)) C_early (C_man C_a) : S;
wait;
### parse the term t₄₃ˢᵗʳⁱⁿᵍ (logical formula) (Equation 42)
yield_TAG parse in + order + to + arrive + on + time + a + man + left + early : S;
### parse the term t₄₃ˡᵒᵍ (logical formula) (Equation 41)
### There are two solution: one with the determiner "a", one with "some"
sem_TAG parse Ex x. (man x) & (goal (on_time (arrive x)) (early (leave x))) : S;
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......
......@@ -2,7 +2,7 @@
# #
# ACG development toolkit #
# #
# Copyright 2008-2018 INRIA #
# Copyright 2008-2021 INRIA #
# #
# More information on "http://acg.gforge.inria.fr/" #
# License: CeCILL, see the LICENSE file or "http://www.cecill.info" #
......
......@@ -2,7 +2,7 @@
(* *)
(* ACG development toolkit *)
(* *)
(* Copyright 2008-2018 INRIA *)
(* Copyright 2008-2021 INRIA *)
(* *)
(* More information on "http://acg.gforge.inria.fr/" *)
(* License: CeCILL, see the LICENSE file or "http://www.cecill.info" *)
......