Update licence, add opam script

45 files changed, 765 insertions, 95 deletions

diff --git a/src/UTF8.ml b/src/UTF8.ml
index a955b1e..b09afdc 100755
--- a/src/UTF8.ml
+++ b/src/UTF8.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 include Text

 

 let empty = ""

diff --git a/src/UTF8.mli b/src/UTF8.mli
index a2e331e..bd73623 100755
--- a/src/UTF8.mli
+++ b/src/UTF8.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 (** UTF8 is used internally for all strings

 

   The module is intentionaly opaque.

diff --git a/src/catalog.ml b/src/catalog.ml
index 95f13ce..bba13d6 100755
--- a/src/catalog.ml
+++ b/src/catalog.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module T = Tools

 module type DATA_SIG = sig

 

diff --git a/src/catalog.mli b/src/catalog.mli
index f39e87b..01288ef 100644
--- a/src/catalog.mli
+++ b/src/catalog.mli
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 module type DATA_SIG = sig
 
   type 'a t
diff --git a/src/cell.ml b/src/cell.ml
index e6ccd63..e6f86d1 100755
--- a/src/cell.ml
+++ b/src/cell.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 type t = (int * int) * (bool * bool)

 

 let u = UTF8.from_utf8string

diff --git a/src/cell.mli b/src/cell.mli
index 8f225a5..3a482da 100755
--- a/src/cell.mli
+++ b/src/cell.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 type t = (int * int) * (bool * bool)

 

 module Set : sig

diff --git a/src/dataType.ml b/src/dataType.ml
index f30dd8c..abac572 100755
--- a/src/dataType.ml
+++ b/src/dataType.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module type COMPARABLE = sig

   type t

   val eq: t -> t -> bool

diff --git a/src/dataType.mli b/src/dataType.mli
index 5c89c98..4b87c32 100755
--- a/src/dataType.mli
+++ b/src/dataType.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module type COMPARABLE = sig

   type t

   val eq: t -> t -> bool

diff --git a/src/date.ml b/src/date.ml
index 92cb9f6..ecd64db 100644
--- a/src/date.ml
+++ b/src/date.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 module type CALCULABLE = sig
 
   type t
diff --git a/src/date.mli b/src/date.mli
index dd24124..253013b 100755
--- a/src/date.mli
+++ b/src/date.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module type CALCULABLE = sig

 

   type t

diff --git a/src/errors.ml b/src/errors.ml
index 3751a60..f4b3425 100755
--- a/src/errors.ml
+++ b/src/errors.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 

 (** The function is undefined *)

 exception Undefined of UTF8.t * string list

diff --git a/src/expression.ml b/src/expression.ml
index ae6c85f..7a38a49 100755
--- a/src/expression.ml
+++ b/src/expression.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module Tuple2 = Tools.Tuple2

 

 let u = UTF8.from_utf8string

diff --git a/src/expression.mli b/src/expression.mli
index 5867d48..2c6b3e7 100755
--- a/src/expression.mli
+++ b/src/expression.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 type t =

   | Basic: 'a ScTypes.Type.t -> t      (** A direct type *)

   | Formula: formula -> t             (** A formula *)

diff --git a/src/expressionLexer.mll b/src/expressionLexer.mll
index 2d2f87e..7df1c72 100755
--- a/src/expressionLexer.mll
+++ b/src/expressionLexer.mll
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 {
   open ExpressionParser
   open Lexing
diff --git a/src/expressionParser.mly b/src/expressionParser.mly
index 1c2769c..a2218a6 100755
--- a/src/expressionParser.mly
+++ b/src/expressionParser.mly
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 %{
     open ScTypes
     open ScTypes.Result
diff --git a/src/expressions/collect_sources.ml b/src/expressions/collect_sources.ml
index d898b86..32b40be 100755
--- a/src/expressions/collect_sources.ml
+++ b/src/expressions/collect_sources.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module T = struct

 

   type 'a t = unit

diff --git a/src/expressions/eval_ref.ml b/src/expressions/eval_ref.ml
index d367d2d..8463f6c 100755
--- a/src/expressions/eval_ref.ml
+++ b/src/expressions/eval_ref.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 type 'a range =

   | Single of 'a

   | Array1 of 'a list

diff --git a/src/expressions/evaluate.ml b/src/expressions/evaluate.ml
index e910c19..ff44097 100755
--- a/src/expressions/evaluate.ml
+++ b/src/expressions/evaluate.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 (** Internal representation for each type *)

 type 'a value =

     | Bool:   DataType.Bool.t                       -> DataType.Bool.t value

diff --git a/src/expressions/show_expr.ml b/src/expressions/show_expr.ml
index 3a54929..c283162 100755
--- a/src/expressions/show_expr.ml
+++ b/src/expressions/show_expr.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 let u = UTF8.from_utf8string

 

 module Show_Expr

diff --git a/src/expressions/show_type.ml b/src/expressions/show_type.ml
index c459dca..3451cde 100755
--- a/src/expressions/show_type.ml
+++ b/src/expressions/show_type.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 type 'a t = UTF8.Buffer.buffer -> unit

 type 'a obs = UTF8.Buffer.buffer -> unit

 

diff --git a/src/expressions/sym_expr.ml b/src/expressions/sym_expr.ml
index 5ff828e..4f5d6a6 100755
--- a/src/expressions/sym_expr.ml
+++ b/src/expressions/sym_expr.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module type SYM_EXPR = sig

 

   module T:Sym_type.SYM_TYPE

diff --git a/src/expressions/sym_ref.ml b/src/expressions/sym_ref.ml
index aba8053..ef9168e 100755
--- a/src/expressions/sym_ref.ml
+++ b/src/expressions/sym_ref.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module type SYM_REF = sig

 

   type 'a t

diff --git a/src/expressions/sym_type.ml b/src/expressions/sym_type.ml
index 31c9534..8670f4d 100755
--- a/src/expressions/sym_type.ml
+++ b/src/expressions/sym_type.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module type SYM_TYPE = sig

 

   type 'a t

diff --git a/src/functions.ml b/src/functions.ml
index 309de6c..dfedfd0 100755
--- a/src/functions.ml
+++ b/src/functions.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module D = DataType

 module T = Tools

 

diff --git a/src/functions.mli b/src/functions.mli
index 43a6fc2..2c7db0d 100755
--- a/src/functions.mli
+++ b/src/functions.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 

 (** Function signature *)

 

diff --git a/src/main.ml b/src/main.ml
index 4e49aa3..5da7b90 100755
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 module E:Sym_expr.SYM_EXPR = Evaluate
 
 let u = UTF8.from_utf8string
diff --git a/src/odf/odf.ml b/src/odf/odf.ml
index 1db9d4b..68add32 100755
--- a/src/odf/odf.ml
+++ b/src/odf/odf.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module T = Tools

 module NS = Odf_ns

 

diff --git a/src/odf/odfLoader.ml b/src/odf/odfLoader.ml
index 280e6bd..06eba38 100755
--- a/src/odf/odfLoader.ml
+++ b/src/odf/odfLoader.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module NS = Odf_ns

 

 type tree =

diff --git a/src/odf/odf_ExpressionLexer.mll b/src/odf/odf_ExpressionLexer.mll
index 7f6a55b..00d1ce6 100755
--- a/src/odf/odf_ExpressionLexer.mll
+++ b/src/odf/odf_ExpressionLexer.mll
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 {
   open Odf_ExpressionParser
   open Lexing
diff --git a/src/odf/odf_ExpressionParser.mly b/src/odf/odf_ExpressionParser.mly
index 2acd1b8..1b9e8e2 100755
--- a/src/odf/odf_ExpressionParser.mly
+++ b/src/odf/odf_ExpressionParser.mly
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 %{
     open ScTypes
     module S = Symbols
diff --git a/src/odf/odf_ns.ml b/src/odf/odf_ns.ml
index 5a501da..43e9329 100755
--- a/src/odf/odf_ns.ml
+++ b/src/odf/odf_ns.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 let ooo =         "http://openoffice.org/2004/office"

 let ooow =        "http://openoffice.org/2004/writer"

 let oooc =        "http://openoffice.org/2004/calc"

diff --git a/src/scTypes.ml b/src/scTypes.ml
index ef39af3..31dc799 100755
--- a/src/scTypes.ml
+++ b/src/scTypes.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 (** All the types used in the spreadsheet. *)
 
 let u = UTF8.from_utf8string
diff --git a/src/scTypes.mli b/src/scTypes.mli
index f7bcc1b..04d38eb 100755
--- a/src/scTypes.mli
+++ b/src/scTypes.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 (** All the types used in the spreadsheet. *)

 

 (** This module describe the most basic type use in the spreadsheet : every content is,

diff --git a/src/screen.ml b/src/screen.ml
index 7888ba5..d168865 100755
--- a/src/screen.ml
+++ b/src/screen.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 (** Curses submodules *)
 module Attrs = Curses.A
 module Color = Curses.Color
diff --git a/src/screen.mli b/src/screen.mli
index 0d9dc69..0c3ce40 100755
--- a/src/screen.mli
+++ b/src/screen.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 (** Represent the {!module:Sheet} *)

 

 type t

diff --git a/src/selection.ml b/src/selection.ml
index 28e11fa..94db4e7 100755
--- a/src/selection.ml
+++ b/src/selection.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 module T2 = Tools.Tuple2
 
 type t =
diff --git a/src/selection.mli b/src/selection.mli
index aa14e38..ed93dbd 100755
--- a/src/selection.mli
+++ b/src/selection.mli
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 type t
 
 type axe =
diff --git a/src/sheet.ml b/src/sheet.ml
index 881bf58..cfe299d 100755
--- a/src/sheet.ml
+++ b/src/sheet.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 type cell = int * int

 

 module Raw = struct

diff --git a/src/sheet.mli b/src/sheet.mli
index 169932e..5f85e92 100755
--- a/src/sheet.mli
+++ b/src/sheet.mli
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 (** This module represent a sheet *)
 
 type cell = int * int
diff --git a/src/symbols.ml b/src/symbols.ml
index 56d7530..d87e019 100755
--- a/src/symbols.ml
+++ b/src/symbols.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 let u = UTF8.from_utf8string

 

 let eq = u"="

diff --git a/src/symbols.mli b/src/symbols.mli
index 764b539..9e168b2 100755
--- a/src/symbols.mli
+++ b/src/symbols.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 

 (** Symbols *)

 

diff --git a/src/tools.ml b/src/tools.ml
index 8481d59..cfd17cd 100755
--- a/src/tools.ml
+++ b/src/tools.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 let u = UTF8.from_utf8string
 
 module Option = struct
@@ -37,11 +54,6 @@ module String = struct
     String.sub str 0 p, String.sub str (p + 1) (slen - p - 1)
   end
 
-  let cut str ~by:sep = begin
-    try String.sub str 0 @@ String.index str sep with
-    | Not_found -> str
-  end
-
   let string_of_ints v = begin
     let buff = Buffer.create 1 in
     let rec convert value = begin
@@ -107,15 +119,6 @@ module List = struct
               end
   end
 
-  let rec findOpt p = begin function
-  | [] -> None
-  | x::l ->
-    if p x then
-      Some(x)
-    else
-      findOpt p l
-  end
-
   and find_map2 p = begin function
   | [] -> raise Not_found
   | x::l ->
@@ -124,34 +127,6 @@ module List = struct
     end
   end
 
-  (** Convert the list [l] as an array *)
-  let to_array l = begin
-    let elems = ref l in
-    let build = fun _ ->
-      begin match (!elems) with
-      | [] -> assert false
-      | hd::tl ->
-          elems := tl;
-          hd
-      end
-    in Array.init (List.length l) build
-  end
-
-  let linearize elems = begin
-    let rec _linearize acc (elems:'a list list) : 'a list = begin
-      let split (hds, tls) = function
-      | hd::tl -> hd::hds, tl::tls
-      | [] -> hds, tls
-      in
-      match elems with
-      | [] -> acc
-      | elems ->
-        let acc, tls = List.fold_left split (acc, []) elems in
-        _linearize acc tls
-    end in
-    List.rev @@ _linearize [] elems
-  end
-
 end
 
 module Tuple2 = struct
@@ -179,29 +154,6 @@ module Tuple2 = struct
 
 end
 
-module Tuple3 = struct
-
-    let fst (a, b, c) = a
-
-    let snd (a, b, c) = b
-
-    let thd (a, b, c) = c
-
-    let map f (a, b, c) = (f a, f b, f c)
-
-    let map1 f (a, b, c) = (f a, b, c)
-
-    let map2 f (a, b, c) = (a, f b, c)
-
-    let map3 f (a, b, c) = (a, b, f c)
-
-    let replace1 v (a, b, c) = (v, b, c)
-
-    let replace2 v (a, b, c) = (a, v, c)
-
-    let replace3 v (a, b, c) = (a, b, v)
-end
-
 module NCurses = struct
 
   type mouse_event =
@@ -268,36 +220,6 @@ module type COMPARABLE_TYPE = sig
 
 end
 
-module ArrayMap(Ord: COMPARABLE_TYPE) = struct
-
-  type 'a key = 'a Ord.t
-
-  type t = Val : ('a key * 'a) array -> t
-
-  let find: type a. a key -> t -> a = begin fun k (Val map) ->
-    let rec find_ idx : a = begin
-        let x, v = Array.get map idx in
-        match Ord.comp x k with
-        | Eq -> v
-        | Lt -> find_ ((2 * idx) + 1)
-        | Gt -> find_ ((2 * idx) + 2)
-    end in
-    find_ 0
-  end
-
-  let from_list l = begin
-    let compare (key_x, _) (key_y, _) = match Ord.comp key_x key_y with
-    | Eq -> 0
-    | Lt -> -1
-    | Gt -> 1
-    in
-    let arr = List.to_array l in
-    Array.sort compare arr;
-    Val arr
-  end
-
-end
-
 let fold_for f a b init =
   let rec _fold res i = begin
   if i >= b then res
diff --git a/src/tree/pageMap.ml b/src/tree/pageMap.ml
index 38bbe42..e18ba6f 100755
--- a/src/tree/pageMap.ml
+++ b/src/tree/pageMap.ml
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 type cell = int * int

 

 module type T_DEFAULT = sig

diff --git a/src/tree/splay.ml b/src/tree/splay.ml
index 662fc6c..de7d441 100644
--- a/src/tree/splay.ml
+++ b/src/tree/splay.ml
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 module type KEY = sig
 
   type 'a t
diff --git a/src/tree/splay.mli b/src/tree/splay.mli
index 521441c..a640075 100755
--- a/src/tree/splay.mli
+++ b/src/tree/splay.mli
@@ -1,3 +1,20 @@
+(*

+This file is part of licht.

+

+licht is free software: you can redistribute it and/or modify

+it under the terms of the GNU General Public License as published by

+the Free Software Foundation, either version 3 of the License, or

+(at your option) any later version.

+

+licht is distributed in the hope that it will be useful,

+but WITHOUT ANY WARRANTY; without even the implied warranty of

+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

+GNU General Public License for more details.

+

+You should have received a copy of the GNU General Public License

+along with licht.  If not, see <http://www.gnu.org/licenses/>.

+*)

+

 module type KEY = sig

 

     type 'a t