diff options
Diffstat (limited to 'otherlibs/labltk/compiler')
| -rw-r--r-- | otherlibs/labltk/compiler/compile.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/intf.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/lexer.mll | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/maincompile.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/printer.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/tables.ml | 3 | ||||
| -rw-r--r-- | otherlibs/labltk/compiler/tsort.ml | 3 |
7 files changed, 14 insertions, 7 deletions
diff --git a/otherlibs/labltk/compiler/compile.ml b/otherlibs/labltk/compiler/compile.ml index 91b4c8647..1b496ec92 100644 --- a/otherlibs/labltk/compiler/compile.ml +++ b/otherlibs/labltk/compiler/compile.ml @@ -9,7 +9,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/compiler/intf.ml b/otherlibs/labltk/compiler/intf.ml index 489fa3930..9e262ede6 100644 --- a/otherlibs/labltk/compiler/intf.ml +++ b/otherlibs/labltk/compiler/intf.ml @@ -9,7 +9,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/compiler/lexer.mll b/otherlibs/labltk/compiler/lexer.mll index 8de395681..7231656d1 100644 --- a/otherlibs/labltk/compiler/lexer.mll +++ b/otherlibs/labltk/compiler/lexer.mll @@ -9,7 +9,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/compiler/maincompile.ml b/otherlibs/labltk/compiler/maincompile.ml index 65535df79..6955afb6e 100644 --- a/otherlibs/labltk/compiler/maincompile.ml +++ b/otherlibs/labltk/compiler/maincompile.ml @@ -9,7 +9,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/compiler/printer.ml b/otherlibs/labltk/compiler/printer.ml index d4bb5db72..e4daa173a 100644 --- a/otherlibs/labltk/compiler/printer.ml +++ b/otherlibs/labltk/compiler/printer.ml @@ -7,7 +7,8 @@ (* Copyright 2000 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/compiler/tables.ml b/otherlibs/labltk/compiler/tables.ml index 8c14265aa..77c4f50b4 100644 --- a/otherlibs/labltk/compiler/tables.ml +++ b/otherlibs/labltk/compiler/tables.ml @@ -9,7 +9,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/compiler/tsort.ml b/otherlibs/labltk/compiler/tsort.ml index 993ed0f4a..517d72497 100644 --- a/otherlibs/labltk/compiler/tsort.ml +++ b/otherlibs/labltk/compiler/tsort.ml @@ -9,7 +9,8 @@ (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) -(* General Public License. *) +(* General Public License, with the special exception on linking *) +(* described in file ../../../LICENSE. *) (* *) (*************************************************************************) |