diff options
Diffstat (limited to 'stdlib')
84 files changed, 168 insertions, 84 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index fb642adef..b15cf8898 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -6,7 +6,8 @@ # # # Copyright 1999 Institut National de Recherche en Informatique et # # en Automatique. All rights reserved. This file is distributed # -# under the terms of the GNU Library General Public License. # +# under the terms of the GNU Library General Public License, with # +# the special exception on linking described in file ../LICENSE. # # # ######################################################################### diff --git a/stdlib/Makefile.Mac b/stdlib/Makefile.Mac index 2e31d3b4c..f8e60ae72 100644 --- a/stdlib/Makefile.Mac +++ b/stdlib/Makefile.Mac @@ -6,7 +6,8 @@ # # # Copyright 1999 Institut National de Recherche en Informatique et # # en Automatique. All rights reserved. This file is distributed # -# under the terms of the GNU Library General Public License. # +# under the terms of the GNU Library General Public License, with # +# the special exception on linking described in file ../LICENSE. # # # ######################################################################### diff --git a/stdlib/Makefile.nt b/stdlib/Makefile.nt index a9637602f..630804d11 100644 --- a/stdlib/Makefile.nt +++ b/stdlib/Makefile.nt @@ -6,7 +6,8 @@ # # # Copyright 1999 Institut National de Recherche en Informatique et # # en Automatique. All rights reserved. This file is distributed # -# under the terms of the GNU Library General Public License. # +# under the terms of the GNU Library General Public License, with # +# the special exception on linking described in file ../LICENSE. # # # ######################################################################### diff --git a/stdlib/arg.ml b/stdlib/arg.ml index 8dc9fb238..e038ad0eb 100644 --- a/stdlib/arg.ml +++ b/stdlib/arg.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/arg.mli b/stdlib/arg.mli index 546abfdc0..38b782685 100644 --- a/stdlib/arg.mli +++ b/stdlib/arg.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/array.ml b/stdlib/array.ml index 38d99c066..d77cf624d 100644 --- a/stdlib/array.ml +++ b/stdlib/array.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/array.mli b/stdlib/array.mli index 0506860d4..6cb95dd5f 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/arrayLabels.ml b/stdlib/arrayLabels.ml index b5fd5e810..fed0ad1c2 100644 --- a/stdlib/arrayLabels.ml +++ b/stdlib/arrayLabels.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 2001 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/arrayLabels.mli b/stdlib/arrayLabels.mli index 6d2ccdc07..02aba42f2 100644 --- a/stdlib/arrayLabels.mli +++ b/stdlib/arrayLabels.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/buffer.ml b/stdlib/buffer.ml index 104f57f43..86812de9c 100644 --- a/stdlib/buffer.ml +++ b/stdlib/buffer.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/buffer.mli b/stdlib/buffer.mli index 4f7a97308..c4ae68469 100644 --- a/stdlib/buffer.mli +++ b/stdlib/buffer.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1999 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/callback.ml b/stdlib/callback.ml index 91e396553..d070c2bb6 100644 --- a/stdlib/callback.ml +++ b/stdlib/callback.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/callback.mli b/stdlib/callback.mli index be2e6a088..70ba06c78 100644 --- a/stdlib/callback.mli +++ b/stdlib/callback.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/char.ml b/stdlib/char.ml index b8013ae03..d8d7a286c 100644 --- a/stdlib/char.ml +++ b/stdlib/char.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/char.mli b/stdlib/char.mli index 1261a48a7..931dd7d2b 100644 --- a/stdlib/char.mli +++ b/stdlib/char.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/digest.ml b/stdlib/digest.ml index 8c09e7ad8..15755c31a 100644 --- a/stdlib/digest.ml +++ b/stdlib/digest.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/digest.mli b/stdlib/digest.mli index 265f38bcc..bbcf51604 100644 --- a/stdlib/digest.mli +++ b/stdlib/digest.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/filename.ml b/stdlib/filename.ml index 36c1e687e..05ba374de 100644 --- a/stdlib/filename.ml +++ b/stdlib/filename.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/filename.mli b/stdlib/filename.mli index 1be67e71c..3bcce1d0f 100644 --- a/stdlib/filename.mli +++ b/stdlib/filename.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/format.ml b/stdlib/format.ml index ef6027d68..21ad6b134 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/format.mli b/stdlib/format.mli index 5f59b17fa..74ce605ff 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/gc.ml b/stdlib/gc.ml index 22e41808f..a62714569 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 522db6f70..26b13dabc 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/genlex.ml b/stdlib/genlex.ml index f519df5e9..a4e494c07 100644 --- a/stdlib/genlex.ml +++ b/stdlib/genlex.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/genlex.mli b/stdlib/genlex.mli index 94927d39a..7ac0b647b 100644 --- a/stdlib/genlex.mli +++ b/stdlib/genlex.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/hashtbl.ml b/stdlib/hashtbl.ml index a4834f59a..ec430cfdf 100644 --- a/stdlib/hashtbl.ml +++ b/stdlib/hashtbl.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/hashtbl.mli b/stdlib/hashtbl.mli index 0dde4052e..fa066cf3d 100644 --- a/stdlib/hashtbl.mli +++ b/stdlib/hashtbl.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/header.c b/stdlib/header.c index b43e84d9a..0d536be18 100644 --- a/stdlib/header.c +++ b/stdlib/header.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1998 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../LICENSE. */ /* */ /***********************************************************************/ diff --git a/stdlib/headernt.c b/stdlib/headernt.c index 2394ae9d0..4dee82282 100644 --- a/stdlib/headernt.c +++ b/stdlib/headernt.c @@ -6,7 +6,8 @@ /* */ /* Copyright 1998 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ -/* under the terms of the GNU Library General Public License. */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../LICENSE. */ /* */ /***********************************************************************/ diff --git a/stdlib/int32.ml b/stdlib/int32.ml index d56c5385d..363a1b308 100644 --- a/stdlib/int32.ml +++ b/stdlib/int32.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/int32.mli b/stdlib/int32.mli index d7d5fc7e3..4a01dd7d7 100644 --- a/stdlib/int32.mli +++ b/stdlib/int32.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/int64.ml b/stdlib/int64.ml index d62fcce75..09f72d830 100644 --- a/stdlib/int64.ml +++ b/stdlib/int64.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/int64.mli b/stdlib/int64.mli index 2bea6b3c6..0478d375b 100644 --- a/stdlib/int64.mli +++ b/stdlib/int64.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/lazy.ml b/stdlib/lazy.ml index eede4f8c0..53a095dbb 100644 --- a/stdlib/lazy.ml +++ b/stdlib/lazy.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/lazy.mli b/stdlib/lazy.mli index 8c9edfddd..991106e5a 100644 --- a/stdlib/lazy.mli +++ b/stdlib/lazy.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/lexing.ml b/stdlib/lexing.ml index 507008331..53ea7ba4c 100644 --- a/stdlib/lexing.ml +++ b/stdlib/lexing.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/lexing.mli b/stdlib/lexing.mli index c82fca9f2..5e96290a4 100644 --- a/stdlib/lexing.mli +++ b/stdlib/lexing.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/list.ml b/stdlib/list.ml index d27f7fc12..a6aeceef5 100644 --- a/stdlib/list.ml +++ b/stdlib/list.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/list.mli b/stdlib/list.mli index ef44ec941..87bb1c3b8 100644 --- a/stdlib/list.mli +++ b/stdlib/list.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/listLabels.ml b/stdlib/listLabels.ml index 1c33254d7..be7bddea3 100644 --- a/stdlib/listLabels.ml +++ b/stdlib/listLabels.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 2001 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli index 81510c3fb..7664cf936 100644 --- a/stdlib/listLabels.mli +++ b/stdlib/listLabels.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/map.ml b/stdlib/map.ml index 634753feb..18b910a00 100644 --- a/stdlib/map.ml +++ b/stdlib/map.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/map.mli b/stdlib/map.mli index e703681cd..f58d487bd 100644 --- a/stdlib/map.mli +++ b/stdlib/map.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/marshal.ml b/stdlib/marshal.ml index cf49605d0..e248c468d 100644 --- a/stdlib/marshal.ml +++ b/stdlib/marshal.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/marshal.mli b/stdlib/marshal.mli index c396e84b4..d410b79b3 100644 --- a/stdlib/marshal.mli +++ b/stdlib/marshal.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/moreLabels.ml b/stdlib/moreLabels.ml index 63061a008..f6cfddabc 100644 --- a/stdlib/moreLabels.ml +++ b/stdlib/moreLabels.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 2001 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/moreLabels.mli b/stdlib/moreLabels.mli index 219b1e80e..977893aec 100644 --- a/stdlib/moreLabels.mli +++ b/stdlib/moreLabels.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 2001 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/nativeint.ml b/stdlib/nativeint.ml index b2ae92e62..9057ad961 100644 --- a/stdlib/nativeint.ml +++ b/stdlib/nativeint.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/nativeint.mli b/stdlib/nativeint.mli index c2817b78c..b83935262 100644 --- a/stdlib/nativeint.mli +++ b/stdlib/nativeint.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/obj.ml b/stdlib/obj.ml index a60bbc9e1..d1d78a473 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/obj.mli b/stdlib/obj.mli index cddd9e6de..f2cfa36d2 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/oo.ml b/stdlib/oo.ml index c46d31678..b7ba18128 100644 --- a/stdlib/oo.ml +++ b/stdlib/oo.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/oo.mli b/stdlib/oo.mli index 73268b25f..1ef711241 100644 --- a/stdlib/oo.mli +++ b/stdlib/oo.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml index e6a6f602a..0803315f6 100644 --- a/stdlib/parsing.ml +++ b/stdlib/parsing.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index 168089e0b..512878bff 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index 90a195b83..d51197bd3 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index 22f9208f7..1ead63d0e 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/printexc.ml b/stdlib/printexc.ml index 75e935c4c..1b5905fe6 100644 --- a/stdlib/printexc.ml +++ b/stdlib/printexc.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/printexc.mli b/stdlib/printexc.mli index 518192781..cb012f2e7 100644 --- a/stdlib/printexc.mli +++ b/stdlib/printexc.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/printf.ml b/stdlib/printf.ml index 8ea17416b..e4d6f6a55 100644 --- a/stdlib/printf.ml +++ b/stdlib/printf.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/printf.mli b/stdlib/printf.mli index 6e6d3db30..ad02ffde1 100644 --- a/stdlib/printf.mli +++ b/stdlib/printf.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/queue.ml b/stdlib/queue.ml index 685e45d74..58fc637ae 100644 --- a/stdlib/queue.ml +++ b/stdlib/queue.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/queue.mli b/stdlib/queue.mli index 16719f999..89af53d1b 100644 --- a/stdlib/queue.mli +++ b/stdlib/queue.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/random.ml b/stdlib/random.ml index c9bdeea76..9a65f3149 100644 --- a/stdlib/random.ml +++ b/stdlib/random.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/random.mli b/stdlib/random.mli index a0e0ca103..296a65e0c 100644 --- a/stdlib/random.mli +++ b/stdlib/random.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/set.ml b/stdlib/set.ml index c2e499ab1..c93be2393 100644 --- a/stdlib/set.ml +++ b/stdlib/set.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/set.mli b/stdlib/set.mli index e87ec45cf..01b7e09b6 100644 --- a/stdlib/set.mli +++ b/stdlib/set.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/sort.ml b/stdlib/sort.ml index acde35527..6f74dbd0e 100644 --- a/stdlib/sort.ml +++ b/stdlib/sort.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/sort.mli b/stdlib/sort.mli index 43373b5fa..2879edfe3 100644 --- a/stdlib/sort.mli +++ b/stdlib/sort.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/stack.ml b/stdlib/stack.ml index c6c526fde..f49ed547f 100644 --- a/stdlib/stack.ml +++ b/stdlib/stack.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/stack.mli b/stdlib/stack.mli index cb2cf4a86..536dd5553 100644 --- a/stdlib/stack.mli +++ b/stdlib/stack.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/stdLabels.ml b/stdlib/stdLabels.ml index b79792e9d..bd6a5841d 100644 --- a/stdlib/stdLabels.ml +++ b/stdlib/stdLabels.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 2001 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/stdLabels.mli b/stdlib/stdLabels.mli index 884650473..1a77f67c1 100644 --- a/stdlib/stdLabels.mli +++ b/stdlib/stdLabels.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 2001 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/std_exit.ml b/stdlib/std_exit.ml index a389891ef..6f5ff301a 100644 --- a/stdlib/std_exit.ml +++ b/stdlib/std_exit.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/stream.ml b/stdlib/stream.ml index 9544f1782..c9975c4a0 100644 --- a/stdlib/stream.ml +++ b/stdlib/stream.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/stream.mli b/stdlib/stream.mli index ed0049418..1eacb3807 100644 --- a/stdlib/stream.mli +++ b/stdlib/stream.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/string.ml b/stdlib/string.ml index bf5e14c05..1913464a8 100644 --- a/stdlib/string.ml +++ b/stdlib/string.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/string.mli b/stdlib/string.mli index b59dee8ad..ebd4a1a17 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/stringLabels.ml b/stdlib/stringLabels.ml index 008eda92f..63f75a208 100644 --- a/stdlib/stringLabels.ml +++ b/stdlib/stringLabels.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 2001 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/stringLabels.mli b/stdlib/stringLabels.mli index 9c6d2dbcf..884690e46 100644 --- a/stdlib/stringLabels.mli +++ b/stdlib/stringLabels.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/sys.ml b/stdlib/sys.ml index 122a9620d..d7baca331 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/sys.mli b/stdlib/sys.mli index 3be91c0af..b248bcd5f 100644 --- a/stdlib/sys.mli +++ b/stdlib/sys.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/weak.ml b/stdlib/weak.ml index b57cc64cc..0f2638786 100644 --- a/stdlib/weak.ml +++ b/stdlib/weak.ml @@ -6,7 +6,8 @@ (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) diff --git a/stdlib/weak.mli b/stdlib/weak.mli index 132cb0a6b..de6353348 100644 --- a/stdlib/weak.mli +++ b/stdlib/weak.mli @@ -6,7 +6,8 @@ (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License. *) +(* under the terms of the GNU Library General Public License, with *) +(* the special exception on linking described in file ../LICENSE. *) (* *) (***********************************************************************) |