diff options
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 68f0818988..00ea5c3345 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 551af806b4..5181586737 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 cda668d7b3..aa84815639 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 104c16a68a..50cc57e8ee 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 ad5e4eb8c0..32f54d5ffb 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 1bdc67f136..007468f064 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 003a494dd4..cd9ae7bcc9 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 82e499027b..1b27a561e9 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 9835c33806..11432b8a14 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 8925a72f44..407aacc84c 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 2becb1271d..6b1a14c32d 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 a71414897e..e626868d0b 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 8f11a0101d..94e61ab661 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 71cf8e7c39..c674751d57 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 6d478abee7..3086a9253e 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 919e820f7a..0119385199 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 5243d12d2a..8526b159e3 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. *) (* *) (***********************************************************************) |