diff options
Diffstat (limited to 'parsing')
| -rw-r--r-- | parsing/asttypes.mli | 2 | ||||
| -rw-r--r-- | parsing/lexer.mli | 2 | ||||
| -rw-r--r-- | parsing/lexer.mll | 2 | ||||
| -rw-r--r-- | parsing/linenum.mli | 2 | ||||
| -rw-r--r-- | parsing/linenum.mll | 2 | ||||
| -rw-r--r-- | parsing/location.ml | 2 | ||||
| -rw-r--r-- | parsing/location.mli | 2 | ||||
| -rw-r--r-- | parsing/longident.ml | 2 | ||||
| -rw-r--r-- | parsing/longident.mli | 2 | ||||
| -rw-r--r-- | parsing/parse.ml | 2 | ||||
| -rw-r--r-- | parsing/parse.mli | 2 | ||||
| -rw-r--r-- | parsing/parser.mly | 2 | ||||
| -rw-r--r-- | parsing/parsetree.mli | 2 | ||||
| -rw-r--r-- | parsing/printast.ml | 2 | ||||
| -rw-r--r-- | parsing/printast.mli | 2 | ||||
| -rw-r--r-- | parsing/syntaxerr.ml | 2 | ||||
| -rw-r--r-- | parsing/syntaxerr.mli | 2 |
17 files changed, 17 insertions, 17 deletions
diff --git a/parsing/asttypes.mli b/parsing/asttypes.mli index 2530b44c6..d23a87fb7 100644 --- a/parsing/asttypes.mli +++ b/parsing/asttypes.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/lexer.mli b/parsing/lexer.mli index 3ddb5dde7..175eedc90 100644 --- a/parsing/lexer.mli +++ b/parsing/lexer.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/lexer.mll b/parsing/lexer.mll index 5da264ec0..20af0fb31 100644 --- a/parsing/lexer.mll +++ b/parsing/lexer.mll @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/linenum.mli b/parsing/linenum.mli index 50cc57e8e..e63694761 100644 --- a/parsing/linenum.mli +++ b/parsing/linenum.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/linenum.mll b/parsing/linenum.mll index 91e71e972..1844d361f 100644 --- a/parsing/linenum.mll +++ b/parsing/linenum.mll @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/location.ml b/parsing/location.ml index 15b074acd..e9a988245 100644 --- a/parsing/location.ml +++ b/parsing/location.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/location.mli b/parsing/location.mli index a496a3550..2215d9864 100644 --- a/parsing/location.mli +++ b/parsing/location.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/longident.ml b/parsing/longident.ml index 1b459ca3f..1114a2ef5 100644 --- a/parsing/longident.ml +++ b/parsing/longident.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/longident.mli b/parsing/longident.mli index 4568bc953..a802049b9 100644 --- a/parsing/longident.mli +++ b/parsing/longident.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/parse.ml b/parsing/parse.ml index 7f3e4cdc0..edeed48f2 100644 --- a/parsing/parse.ml +++ b/parsing/parse.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/parse.mli b/parsing/parse.mli index 87a09f0e2..85e08bc48 100644 --- a/parsing/parse.mli +++ b/parsing/parse.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/parser.mly b/parsing/parser.mly index 9bba8768c..30a96d672 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 976283ff1..0f03141f1 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/printast.ml b/parsing/printast.ml index 2b236ae82..2ca0c8d94 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/parsing/printast.mli b/parsing/printast.mli index 7ea148678..096f46172 100644 --- a/parsing/printast.mli +++ b/parsing/printast.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) diff --git a/parsing/syntaxerr.ml b/parsing/syntaxerr.ml index edaabda12..00e06bba0 100644 --- a/parsing/syntaxerr.ml +++ b/parsing/syntaxerr.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/parsing/syntaxerr.mli b/parsing/syntaxerr.mli index 4e9679926..10a07d14c 100644 --- a/parsing/syntaxerr.mli +++ b/parsing/syntaxerr.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) |