diff options
Diffstat (limited to 'bytecomp')
35 files changed, 70 insertions, 35 deletions
diff --git a/bytecomp/bytegen.ml b/bytecomp/bytegen.ml index 0502aa15d..24cfad793 100644 --- a/bytecomp/bytegen.ml +++ b/bytecomp/bytegen.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/bytegen.mli b/bytecomp/bytegen.mli index 1cde7e081..04265fde3 100644 --- a/bytecomp/bytegen.mli +++ b/bytecomp/bytegen.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/bytelibrarian.ml b/bytecomp/bytelibrarian.ml index b5a1e8941..139a4e93b 100644 --- a/bytecomp/bytelibrarian.ml +++ b/bytecomp/bytelibrarian.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/bytelibrarian.mli b/bytecomp/bytelibrarian.mli index b34ebba83..783486420 100644 --- a/bytecomp/bytelibrarian.mli +++ b/bytecomp/bytelibrarian.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml index 20b836d89..9f0f7d866 100644 --- a/bytecomp/bytelink.ml +++ b/bytecomp/bytelink.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/bytelink.mli b/bytecomp/bytelink.mli index 63317e3b7..637bfa2b8 100644 --- a/bytecomp/bytelink.mli +++ b/bytecomp/bytelink.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/emitcode.ml b/bytecomp/emitcode.ml index 05090f3ab..689ffe317 100644 --- a/bytecomp/emitcode.ml +++ b/bytecomp/emitcode.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/emitcode.mli b/bytecomp/emitcode.mli index 7fc57c02d..3cb78c912 100644 --- a/bytecomp/emitcode.mli +++ b/bytecomp/emitcode.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/instruct.ml b/bytecomp/instruct.ml index 7357d1f86..e54658450 100644 --- a/bytecomp/instruct.ml +++ b/bytecomp/instruct.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/instruct.mli b/bytecomp/instruct.mli index a0050b1b0..2355107d4 100644 --- a/bytecomp/instruct.mli +++ b/bytecomp/instruct.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/lambda.ml b/bytecomp/lambda.ml index 64b14e3ac..e23a6a030 100644 --- a/bytecomp/lambda.ml +++ b/bytecomp/lambda.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/lambda.mli b/bytecomp/lambda.mli index 5302f228d..8d78c7482 100644 --- a/bytecomp/lambda.mli +++ b/bytecomp/lambda.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/matching.ml b/bytecomp/matching.ml index a9714a8b8..3e0b521ce 100644 --- a/bytecomp/matching.ml +++ b/bytecomp/matching.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/matching.mli b/bytecomp/matching.mli index 85960e445..08f3d806a 100644 --- a/bytecomp/matching.mli +++ b/bytecomp/matching.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/meta.ml b/bytecomp/meta.ml index b6b0ab3e4..2e95d12a8 100644 --- a/bytecomp/meta.ml +++ b/bytecomp/meta.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/meta.mli b/bytecomp/meta.mli index 7ea94e057..24934a228 100644 --- a/bytecomp/meta.mli +++ b/bytecomp/meta.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/printinstr.ml b/bytecomp/printinstr.ml index e883d15c5..9ffa9bdf9 100644 --- a/bytecomp/printinstr.ml +++ b/bytecomp/printinstr.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/printinstr.mli b/bytecomp/printinstr.mli index a41a046da..f05373739 100644 --- a/bytecomp/printinstr.mli +++ b/bytecomp/printinstr.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/printlambda.ml b/bytecomp/printlambda.ml index e2e530003..6400d9063 100644 --- a/bytecomp/printlambda.ml +++ b/bytecomp/printlambda.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/printlambda.mli b/bytecomp/printlambda.mli index 456d749fc..a0953a5cc 100644 --- a/bytecomp/printlambda.mli +++ b/bytecomp/printlambda.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/runtimedef.mli b/bytecomp/runtimedef.mli index 3b4006361..27309f60a 100644 --- a/bytecomp/runtimedef.mli +++ b/bytecomp/runtimedef.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/simplif.ml b/bytecomp/simplif.ml index 98391b87f..b600aefab 100644 --- a/bytecomp/simplif.ml +++ b/bytecomp/simplif.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/simplif.mli b/bytecomp/simplif.mli index f85c51cb6..5e5217ff1 100644 --- a/bytecomp/simplif.mli +++ b/bytecomp/simplif.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/symtable.ml b/bytecomp/symtable.ml index 6dcec6afe..a8e57b95f 100644 --- a/bytecomp/symtable.ml +++ b/bytecomp/symtable.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/symtable.mli b/bytecomp/symtable.mli index fc9184c64..7fe203e9a 100644 --- a/bytecomp/symtable.mli +++ b/bytecomp/symtable.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/translclass.ml b/bytecomp/translclass.ml index c65bf53ab..015784c85 100644 --- a/bytecomp/translclass.ml +++ b/bytecomp/translclass.ml @@ -5,7 +5,8 @@ (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/translclass.mli b/bytecomp/translclass.mli index bfbc860b6..698302f3f 100644 --- a/bytecomp/translclass.mli +++ b/bytecomp/translclass.mli @@ -5,7 +5,8 @@ (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/translcore.ml b/bytecomp/translcore.ml index a8427cdf4..822123715 100644 --- a/bytecomp/translcore.ml +++ b/bytecomp/translcore.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/translcore.mli b/bytecomp/translcore.mli index ea7bb2bb9..89aa51983 100644 --- a/bytecomp/translcore.mli +++ b/bytecomp/translcore.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/translmod.ml b/bytecomp/translmod.ml index 05c896254..dc7e42eb5 100644 --- a/bytecomp/translmod.ml +++ b/bytecomp/translmod.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/translmod.mli b/bytecomp/translmod.mli index 96df7dff4..eff31a862 100644 --- a/bytecomp/translmod.mli +++ b/bytecomp/translmod.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/translobj.ml b/bytecomp/translobj.ml index 70fc06edb..a9a3f76ef 100644 --- a/bytecomp/translobj.ml +++ b/bytecomp/translobj.ml @@ -5,7 +5,8 @@ (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/translobj.mli b/bytecomp/translobj.mli index e2f051def..ccff9ade6 100644 --- a/bytecomp/translobj.mli +++ b/bytecomp/translobj.mli @@ -5,7 +5,8 @@ (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/typeopt.ml b/bytecomp/typeopt.ml index 393e71563..f5216e0af 100644 --- a/bytecomp/typeopt.ml +++ b/bytecomp/typeopt.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1998 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/bytecomp/typeopt.mli b/bytecomp/typeopt.mli index 0f4e856a9..8d3f9a92f 100644 --- a/bytecomp/typeopt.mli +++ b/bytecomp/typeopt.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1998 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) |