diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-17 18:59:06 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-17 18:59:06 +0000 |
| commit | cc0f32b05439bb7018e8ad62a54d6371b01aab9f (patch) | |
| tree | 11e614c740672ce84f806b42a6630d192f057bd8 /parsing | |
| parent | f07e6fe1c7d8b37c2b00e0a47146285789f1e526 (diff) | |
Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/asttypes.mli | 3 | ||||
| -rw-r--r-- | parsing/lexer.mli | 3 | ||||
| -rw-r--r-- | parsing/lexer.mll | 3 | ||||
| -rw-r--r-- | parsing/linenum.mli | 3 | ||||
| -rw-r--r-- | parsing/linenum.mll | 3 | ||||
| -rw-r--r-- | parsing/location.ml | 3 | ||||
| -rw-r--r-- | parsing/location.mli | 3 | ||||
| -rw-r--r-- | parsing/longident.ml | 3 | ||||
| -rw-r--r-- | parsing/longident.mli | 3 | ||||
| -rw-r--r-- | parsing/parse.ml | 3 | ||||
| -rw-r--r-- | parsing/parse.mli | 3 | ||||
| -rw-r--r-- | parsing/parser.mly | 3 | ||||
| -rw-r--r-- | parsing/parsetree.mli | 3 | ||||
| -rw-r--r-- | parsing/pstream.ml | 3 | ||||
| -rw-r--r-- | parsing/pstream.mli | 3 | ||||
| -rw-r--r-- | parsing/syntaxerr.ml | 3 | ||||
| -rw-r--r-- | parsing/syntaxerr.mli | 3 |
17 files changed, 34 insertions, 17 deletions
diff --git a/parsing/asttypes.mli b/parsing/asttypes.mli index 68f081898..00ea5c334 100644 --- a/parsing/asttypes.mli +++ b/parsing/asttypes.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/parsing/lexer.mli b/parsing/lexer.mli index 551af806b..518158673 100644 --- a/parsing/lexer.mli +++ b/parsing/lexer.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/parsing/lexer.mll b/parsing/lexer.mll index cda668d7b..aa8481563 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -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/parsing/linenum.mli b/parsing/linenum.mli index 104c16a68..50cc57e8e 100644 --- a/parsing/linenum.mli +++ b/parsing/linenum.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 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/parsing/linenum.mll b/parsing/linenum.mll index ad5e4eb8c..32f54d5ff 100644 --- a/parsing/linenum.mll +++ b/parsing/linenum.mll @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 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/parsing/location.ml b/parsing/location.ml index 1bdc67f13..007468f06 100644 --- a/parsing/location.ml +++ b/parsing/location.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/parsing/location.mli b/parsing/location.mli index 003a494dd..cd9ae7bcc 100644 --- a/parsing/location.mli +++ b/parsing/location.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/parsing/longident.ml b/parsing/longident.ml index 82e499027..1b27a561e 100644 --- a/parsing/longident.ml +++ b/parsing/longident.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/parsing/longident.mli b/parsing/longident.mli index 9835c3380..11432b8a1 100644 --- a/parsing/longident.mli +++ b/parsing/longident.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/parsing/parse.ml b/parsing/parse.ml index 8925a72f4..407aacc84 100644 --- a/parsing/parse.ml +++ b/parsing/parse.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/parsing/parse.mli b/parsing/parse.mli index 2becb1271..6b1a14c32 100644 --- a/parsing/parse.mli +++ b/parsing/parse.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/parsing/parser.mly b/parsing/parser.mly index a71414897..e626868d0 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -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/parsing/parsetree.mli b/parsing/parsetree.mli index 8f11a0101..94e61ab66 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.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/parsing/pstream.ml b/parsing/pstream.ml index 71cf8e7c3..c674751d5 100644 --- a/parsing/pstream.ml +++ b/parsing/pstream.ml @@ -5,7 +5,8 @@ (* Daniel de Rauglaudre, 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/parsing/pstream.mli b/parsing/pstream.mli index 6d478abee..3086a9253 100644 --- a/parsing/pstream.mli +++ b/parsing/pstream.mli @@ -5,7 +5,8 @@ (* Daniel de Rauglaudre, 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/parsing/syntaxerr.ml b/parsing/syntaxerr.ml index 919e820f7..011938519 100644 --- a/parsing/syntaxerr.ml +++ b/parsing/syntaxerr.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 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/parsing/syntaxerr.mli b/parsing/syntaxerr.mli index 5243d12d2..8526b159e 100644 --- a/parsing/syntaxerr.mli +++ b/parsing/syntaxerr.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 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. *) (* *) (***********************************************************************) |