diff options
Diffstat (limited to 'otherlibs/labltk')
89 files changed, 178 insertions, 89 deletions
diff --git a/otherlibs/labltk/browser/dummyUnix.mli b/otherlibs/labltk/browser/dummyUnix.mli index d08d12e26..163d14ad3 100644 --- a/otherlibs/labltk/browser/dummyUnix.mli +++ b/otherlibs/labltk/browser/dummyUnix.mli @@ -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/browser/dummyWin.mli b/otherlibs/labltk/browser/dummyWin.mli index 124ada5eb..a4b75ee37 100644 --- a/otherlibs/labltk/browser/dummyWin.mli +++ b/otherlibs/labltk/browser/dummyWin.mli @@ -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/browser/editor.ml b/otherlibs/labltk/browser/editor.ml index 517599c6c..3955f4ba4 100644 --- a/otherlibs/labltk/browser/editor.ml +++ b/otherlibs/labltk/browser/editor.ml @@ -7,7 +7,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/browser/editor.mli b/otherlibs/labltk/browser/editor.mli index cefb51798..665ee813f 100644 --- a/otherlibs/labltk/browser/editor.mli +++ b/otherlibs/labltk/browser/editor.mli @@ -7,7 +7,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/browser/fileselect.ml b/otherlibs/labltk/browser/fileselect.ml index 9987505b3..be6896dbf 100644 --- a/otherlibs/labltk/browser/fileselect.ml +++ b/otherlibs/labltk/browser/fileselect.ml @@ -7,7 +7,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/browser/fileselect.mli b/otherlibs/labltk/browser/fileselect.mli index 2c857bda5..83f93f706 100644 --- a/otherlibs/labltk/browser/fileselect.mli +++ b/otherlibs/labltk/browser/fileselect.mli @@ -7,7 +7,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/browser/jg_bind.ml b/otherlibs/labltk/browser/jg_bind.ml index 958401add..128a88ae5 100644 --- a/otherlibs/labltk/browser/jg_bind.ml +++ b/otherlibs/labltk/browser/jg_bind.ml @@ -7,7 +7,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/browser/jg_bind.mli b/otherlibs/labltk/browser/jg_bind.mli index 3638550a1..e09c2ba46 100644 --- a/otherlibs/labltk/browser/jg_bind.mli +++ b/otherlibs/labltk/browser/jg_bind.mli @@ -7,7 +7,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/browser/jg_box.ml b/otherlibs/labltk/browser/jg_box.ml index bbe2a286f..ac0cb8212 100644 --- a/otherlibs/labltk/browser/jg_box.ml +++ b/otherlibs/labltk/browser/jg_box.ml @@ -7,7 +7,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/browser/jg_button.ml b/otherlibs/labltk/browser/jg_button.ml index 5a0a733d8..11abd68ab 100644 --- a/otherlibs/labltk/browser/jg_button.ml +++ b/otherlibs/labltk/browser/jg_button.ml @@ -7,7 +7,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/browser/jg_completion.ml b/otherlibs/labltk/browser/jg_completion.ml index 1bdedede5..feb03c42f 100644 --- a/otherlibs/labltk/browser/jg_completion.ml +++ b/otherlibs/labltk/browser/jg_completion.ml @@ -7,7 +7,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/browser/jg_completion.mli b/otherlibs/labltk/browser/jg_completion.mli index 97cadcebf..69c7a134c 100644 --- a/otherlibs/labltk/browser/jg_completion.mli +++ b/otherlibs/labltk/browser/jg_completion.mli @@ -7,7 +7,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/browser/jg_config.ml b/otherlibs/labltk/browser/jg_config.ml index 547aab2dd..bce0e50e7 100644 --- a/otherlibs/labltk/browser/jg_config.ml +++ b/otherlibs/labltk/browser/jg_config.ml @@ -7,7 +7,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/browser/jg_config.mli b/otherlibs/labltk/browser/jg_config.mli index 865b17aa2..511e2b3a6 100644 --- a/otherlibs/labltk/browser/jg_config.mli +++ b/otherlibs/labltk/browser/jg_config.mli @@ -7,7 +7,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/browser/jg_entry.ml b/otherlibs/labltk/browser/jg_entry.ml index c662bed85..c09a273e8 100644 --- a/otherlibs/labltk/browser/jg_entry.ml +++ b/otherlibs/labltk/browser/jg_entry.ml @@ -7,7 +7,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/browser/jg_memo.ml b/otherlibs/labltk/browser/jg_memo.ml index 70c6da2d1..c6d7634ac 100644 --- a/otherlibs/labltk/browser/jg_memo.ml +++ b/otherlibs/labltk/browser/jg_memo.ml @@ -7,7 +7,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/browser/jg_memo.mli b/otherlibs/labltk/browser/jg_memo.mli index 708d95d98..5491dee32 100644 --- a/otherlibs/labltk/browser/jg_memo.mli +++ b/otherlibs/labltk/browser/jg_memo.mli @@ -7,7 +7,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/browser/jg_menu.ml b/otherlibs/labltk/browser/jg_menu.ml index e92b7e889..62712f36d 100644 --- a/otherlibs/labltk/browser/jg_menu.ml +++ b/otherlibs/labltk/browser/jg_menu.ml @@ -7,7 +7,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/browser/jg_message.ml b/otherlibs/labltk/browser/jg_message.ml index 08d0d8566..dc55a2dd3 100644 --- a/otherlibs/labltk/browser/jg_message.ml +++ b/otherlibs/labltk/browser/jg_message.ml @@ -7,7 +7,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/browser/jg_message.mli b/otherlibs/labltk/browser/jg_message.mli index 27cde48b9..d7a5528a4 100644 --- a/otherlibs/labltk/browser/jg_message.mli +++ b/otherlibs/labltk/browser/jg_message.mli @@ -7,7 +7,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/browser/jg_multibox.ml b/otherlibs/labltk/browser/jg_multibox.ml index 5e5adb190..dc905aba6 100644 --- a/otherlibs/labltk/browser/jg_multibox.ml +++ b/otherlibs/labltk/browser/jg_multibox.ml @@ -7,7 +7,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/browser/jg_multibox.mli b/otherlibs/labltk/browser/jg_multibox.mli index 19aca102f..6dfe7d8fb 100644 --- a/otherlibs/labltk/browser/jg_multibox.mli +++ b/otherlibs/labltk/browser/jg_multibox.mli @@ -7,7 +7,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/browser/jg_text.ml b/otherlibs/labltk/browser/jg_text.ml index 0d239316f..5a7023f63 100644 --- a/otherlibs/labltk/browser/jg_text.ml +++ b/otherlibs/labltk/browser/jg_text.ml @@ -7,7 +7,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/browser/jg_text.mli b/otherlibs/labltk/browser/jg_text.mli index 4889f7076..e8646dd9d 100644 --- a/otherlibs/labltk/browser/jg_text.mli +++ b/otherlibs/labltk/browser/jg_text.mli @@ -7,7 +7,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/browser/jg_tk.ml b/otherlibs/labltk/browser/jg_tk.ml index 98ac89c7e..7fc77f096 100644 --- a/otherlibs/labltk/browser/jg_tk.ml +++ b/otherlibs/labltk/browser/jg_tk.ml @@ -7,7 +7,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/browser/jg_toplevel.ml b/otherlibs/labltk/browser/jg_toplevel.ml index 46fd376d2..c6a2b8959 100644 --- a/otherlibs/labltk/browser/jg_toplevel.ml +++ b/otherlibs/labltk/browser/jg_toplevel.ml @@ -7,7 +7,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/browser/lexical.ml b/otherlibs/labltk/browser/lexical.ml index 0b97d0e9b..c4bd3b1f5 100644 --- a/otherlibs/labltk/browser/lexical.ml +++ b/otherlibs/labltk/browser/lexical.ml @@ -7,7 +7,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/browser/lexical.mli b/otherlibs/labltk/browser/lexical.mli index fa308b946..3be04d324 100644 --- a/otherlibs/labltk/browser/lexical.mli +++ b/otherlibs/labltk/browser/lexical.mli @@ -7,7 +7,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/browser/list2.ml b/otherlibs/labltk/browser/list2.ml index ece69a0a8..87b88f496 100644 --- a/otherlibs/labltk/browser/list2.ml +++ b/otherlibs/labltk/browser/list2.ml @@ -7,7 +7,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/browser/main.ml b/otherlibs/labltk/browser/main.ml index a1fa4b876..a14e814f1 100644 --- a/otherlibs/labltk/browser/main.ml +++ b/otherlibs/labltk/browser/main.ml @@ -7,7 +7,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/browser/mytypes.mli b/otherlibs/labltk/browser/mytypes.mli index 46842500b..2ab2f46c2 100644 --- a/otherlibs/labltk/browser/mytypes.mli +++ b/otherlibs/labltk/browser/mytypes.mli @@ -7,7 +7,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/browser/searchid.ml b/otherlibs/labltk/browser/searchid.ml index a3112761e..5a6cdcd75 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -7,7 +7,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/browser/searchid.mli b/otherlibs/labltk/browser/searchid.mli index 40c9c1c6b..83fa406be 100644 --- a/otherlibs/labltk/browser/searchid.mli +++ b/otherlibs/labltk/browser/searchid.mli @@ -7,7 +7,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/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index b0495ace1..207a3ef95 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -7,7 +7,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/browser/searchpos.mli b/otherlibs/labltk/browser/searchpos.mli index f887955d1..f0bebb6c4 100644 --- a/otherlibs/labltk/browser/searchpos.mli +++ b/otherlibs/labltk/browser/searchpos.mli @@ -7,7 +7,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/browser/setpath.ml b/otherlibs/labltk/browser/setpath.ml index cae5d046c..82d9b2a60 100644 --- a/otherlibs/labltk/browser/setpath.ml +++ b/otherlibs/labltk/browser/setpath.ml @@ -7,7 +7,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/browser/setpath.mli b/otherlibs/labltk/browser/setpath.mli index 750fbde84..f5e70090f 100644 --- a/otherlibs/labltk/browser/setpath.mli +++ b/otherlibs/labltk/browser/setpath.mli @@ -7,7 +7,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/browser/shell.ml b/otherlibs/labltk/browser/shell.ml index b05a8fd5b..2963faa14 100644 --- a/otherlibs/labltk/browser/shell.ml +++ b/otherlibs/labltk/browser/shell.ml @@ -7,7 +7,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/browser/shell.mli b/otherlibs/labltk/browser/shell.mli index 4936cd6e2..30b59c84e 100644 --- a/otherlibs/labltk/browser/shell.mli +++ b/otherlibs/labltk/browser/shell.mli @@ -7,7 +7,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/browser/typecheck.ml b/otherlibs/labltk/browser/typecheck.ml index 9f9a64b9b..3a7f66672 100644 --- a/otherlibs/labltk/browser/typecheck.ml +++ b/otherlibs/labltk/browser/typecheck.ml @@ -7,7 +7,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/browser/typecheck.mli b/otherlibs/labltk/browser/typecheck.mli index 4180a9277..d61fce62e 100644 --- a/otherlibs/labltk/browser/typecheck.mli +++ b/otherlibs/labltk/browser/typecheck.mli @@ -7,7 +7,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/browser/useunix.ml b/otherlibs/labltk/browser/useunix.ml index 3b6361878..a12d56c35 100644 --- a/otherlibs/labltk/browser/useunix.ml +++ b/otherlibs/labltk/browser/useunix.ml @@ -7,7 +7,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/browser/useunix.mli b/otherlibs/labltk/browser/useunix.mli index 7d5f5c97c..52ac7c770 100644 --- a/otherlibs/labltk/browser/useunix.mli +++ b/otherlibs/labltk/browser/useunix.mli @@ -7,7 +7,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/browser/viewer.ml b/otherlibs/labltk/browser/viewer.ml index 840021cad..5bdd068bc 100644 --- a/otherlibs/labltk/browser/viewer.ml +++ b/otherlibs/labltk/browser/viewer.ml @@ -7,7 +7,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/browser/viewer.mli b/otherlibs/labltk/browser/viewer.mli index 05b28657f..ac7745c55 100644 --- a/otherlibs/labltk/browser/viewer.mli +++ b/otherlibs/labltk/browser/viewer.mli @@ -7,7 +7,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/builtin/LICENSE b/otherlibs/labltk/builtin/LICENSE index c37393459..c006f51d5 100644 --- a/otherlibs/labltk/builtin/LICENSE +++ b/otherlibs/labltk/builtin/LICENSE @@ -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/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. *) (* *) (*************************************************************************) diff --git a/otherlibs/labltk/example/calc.ml b/otherlibs/labltk/example/calc.ml index c9373d0b7..ab1933618 100644 --- a/otherlibs/labltk/example/calc.ml +++ b/otherlibs/labltk/example/calc.ml @@ -8,7 +8,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/example/clock.ml b/otherlibs/labltk/example/clock.ml index 3105b03c8..eb1582f92 100644 --- a/otherlibs/labltk/example/clock.ml +++ b/otherlibs/labltk/example/clock.ml @@ -8,7 +8,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/example/demo.ml b/otherlibs/labltk/example/demo.ml index 4fcd0e02a..1b36d5ed1 100644 --- a/otherlibs/labltk/example/demo.ml +++ b/otherlibs/labltk/example/demo.ml @@ -8,7 +8,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/example/eyes.ml b/otherlibs/labltk/example/eyes.ml index 2e241a193..a875ce4b5 100644 --- a/otherlibs/labltk/example/eyes.ml +++ b/otherlibs/labltk/example/eyes.ml @@ -8,7 +8,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/example/hello.ml b/otherlibs/labltk/example/hello.ml index 603f62a8a..00805cd01 100644 --- a/otherlibs/labltk/example/hello.ml +++ b/otherlibs/labltk/example/hello.ml @@ -8,7 +8,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/example/tetris.ml b/otherlibs/labltk/example/tetris.ml index 28cc880d5..67dbcbd42 100644 --- a/otherlibs/labltk/example/tetris.ml +++ b/otherlibs/labltk/example/tetris.ml @@ -8,7 +8,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/jpf/balloon.ml b/otherlibs/labltk/jpf/balloon.ml index 7b2f2e074..818a48881 100644 --- a/otherlibs/labltk/jpf/balloon.ml +++ b/otherlibs/labltk/jpf/balloon.ml @@ -7,7 +7,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/jpf/balloon.mli b/otherlibs/labltk/jpf/balloon.mli index f5954ddfa..cae6e5bb3 100644 --- a/otherlibs/labltk/jpf/balloon.mli +++ b/otherlibs/labltk/jpf/balloon.mli @@ -7,7 +7,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/jpf/balloontest.ml b/otherlibs/labltk/jpf/balloontest.ml index b927bc7a2..63e86c169 100644 --- a/otherlibs/labltk/jpf/balloontest.ml +++ b/otherlibs/labltk/jpf/balloontest.ml @@ -7,7 +7,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/jpf/fileselect.ml b/otherlibs/labltk/jpf/fileselect.ml index 6e565bb79..5deb023bf 100644 --- a/otherlibs/labltk/jpf/fileselect.ml +++ b/otherlibs/labltk/jpf/fileselect.ml @@ -7,7 +7,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/jpf/fileselect.mli b/otherlibs/labltk/jpf/fileselect.mli index 2eca3718d..1948ad772 100644 --- a/otherlibs/labltk/jpf/fileselect.mli +++ b/otherlibs/labltk/jpf/fileselect.mli @@ -7,7 +7,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/support/camltk.h b/otherlibs/labltk/support/camltk.h index 1111bc7c8..741a4184e 100644 --- a/otherlibs/labltk/support/camltk.h +++ b/otherlibs/labltk/support/camltk.h @@ -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/support/cltkCaml.c b/otherlibs/labltk/support/cltkCaml.c index 3847a4e77..f9b9f7406 100644 --- a/otherlibs/labltk/support/cltkCaml.c +++ b/otherlibs/labltk/support/cltkCaml.c @@ -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/support/cltkDMain.c b/otherlibs/labltk/support/cltkDMain.c index bda74a756..7b2e59bc2 100644 --- a/otherlibs/labltk/support/cltkDMain.c +++ b/otherlibs/labltk/support/cltkDMain.c @@ -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/support/cltkEval.c b/otherlibs/labltk/support/cltkEval.c index 45bc6b9a9..40adccf2d 100644 --- a/otherlibs/labltk/support/cltkEval.c +++ b/otherlibs/labltk/support/cltkEval.c @@ -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/support/cltkEvent.c b/otherlibs/labltk/support/cltkEvent.c index e851f472a..e2c24cca6 100644 --- a/otherlibs/labltk/support/cltkEvent.c +++ b/otherlibs/labltk/support/cltkEvent.c @@ -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/support/cltkFile.c b/otherlibs/labltk/support/cltkFile.c index a8132db4f..458b526ec 100644 --- a/otherlibs/labltk/support/cltkFile.c +++ b/otherlibs/labltk/support/cltkFile.c @@ -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/support/cltkMain.c b/otherlibs/labltk/support/cltkMain.c index 2d07f75a2..8512c72b2 100644 --- a/otherlibs/labltk/support/cltkMain.c +++ b/otherlibs/labltk/support/cltkMain.c @@ -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/support/cltkMisc.c b/otherlibs/labltk/support/cltkMisc.c index 50ed03810..7980e0c8a 100644 --- a/otherlibs/labltk/support/cltkMisc.c +++ b/otherlibs/labltk/support/cltkMisc.c @@ -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/support/cltkTimer.c b/otherlibs/labltk/support/cltkTimer.c index fec7bfb2a..793535bea 100644 --- a/otherlibs/labltk/support/cltkTimer.c +++ b/otherlibs/labltk/support/cltkTimer.c @@ -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/support/cltkVar.c b/otherlibs/labltk/support/cltkVar.c index 123595cd9..eae7eb12f 100644 --- a/otherlibs/labltk/support/cltkVar.c +++ b/otherlibs/labltk/support/cltkVar.c @@ -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/support/cltkWait.c b/otherlibs/labltk/support/cltkWait.c index 5e621470c..a39e62519 100644 --- a/otherlibs/labltk/support/cltkWait.c +++ b/otherlibs/labltk/support/cltkWait.c @@ -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/support/fileevent.ml b/otherlibs/labltk/support/fileevent.ml index 1e907c768..1db7b3a2e 100644 --- a/otherlibs/labltk/support/fileevent.ml +++ b/otherlibs/labltk/support/fileevent.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/support/fileevent.mli b/otherlibs/labltk/support/fileevent.mli index 8c6d0d481..8b9af8833 100644 --- a/otherlibs/labltk/support/fileevent.mli +++ b/otherlibs/labltk/support/fileevent.mli @@ -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/support/protocol.ml b/otherlibs/labltk/support/protocol.ml index 7ad8b317e..cb8bcbb33 100644 --- a/otherlibs/labltk/support/protocol.ml +++ b/otherlibs/labltk/support/protocol.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/support/protocol.mli b/otherlibs/labltk/support/protocol.mli index 636ef3e27..c816ba029 100644 --- a/otherlibs/labltk/support/protocol.mli +++ b/otherlibs/labltk/support/protocol.mli @@ -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/support/slave.ml b/otherlibs/labltk/support/slave.ml index e3259fc66..8169f1f18 100644 --- a/otherlibs/labltk/support/slave.ml +++ b/otherlibs/labltk/support/slave.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/support/support.ml b/otherlibs/labltk/support/support.ml index b6cd5e8c3..b0b028830 100644 --- a/otherlibs/labltk/support/support.ml +++ b/otherlibs/labltk/support/support.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/support/support.mli b/otherlibs/labltk/support/support.mli index 2eaf9b5e5..92a89ca8f 100644 --- a/otherlibs/labltk/support/support.mli +++ b/otherlibs/labltk/support/support.mli @@ -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/support/textvariable.ml b/otherlibs/labltk/support/textvariable.ml index df4c3b92d..cb3f8c7f7 100644 --- a/otherlibs/labltk/support/textvariable.ml +++ b/otherlibs/labltk/support/textvariable.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/support/textvariable.mli b/otherlibs/labltk/support/textvariable.mli index 48c3ca342..900106e52 100644 --- a/otherlibs/labltk/support/textvariable.mli +++ b/otherlibs/labltk/support/textvariable.mli @@ -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/support/timer.ml b/otherlibs/labltk/support/timer.ml index 349bf6a2e..96fd44474 100644 --- a/otherlibs/labltk/support/timer.ml +++ b/otherlibs/labltk/support/timer.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/support/timer.mli b/otherlibs/labltk/support/timer.mli index e94b4005b..168d6d553 100644 --- a/otherlibs/labltk/support/timer.mli +++ b/otherlibs/labltk/support/timer.mli @@ -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/support/tkwait.ml b/otherlibs/labltk/support/tkwait.ml index 38ed04a9c..3d886c2ed 100644 --- a/otherlibs/labltk/support/tkwait.ml +++ b/otherlibs/labltk/support/tkwait.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/support/widget.ml b/otherlibs/labltk/support/widget.ml index 01fddabd4..b9379b146 100644 --- a/otherlibs/labltk/support/widget.ml +++ b/otherlibs/labltk/support/widget.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/support/widget.mli b/otherlibs/labltk/support/widget.mli index e3966689e..326fc6b04 100644 --- a/otherlibs/labltk/support/widget.mli +++ b/otherlibs/labltk/support/widget.mli @@ -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. *) (* *) (*************************************************************************) |