diff options
Diffstat (limited to 'lex')
| -rw-r--r-- | lex/Makefile | 2 | ||||
| -rw-r--r-- | lex/Makefile.nt | 2 | ||||
| -rw-r--r-- | lex/common.ml | 2 | ||||
| -rw-r--r-- | lex/common.mli | 2 | ||||
| -rw-r--r-- | lex/compact.ml | 2 | ||||
| -rw-r--r-- | lex/compact.mli | 2 | ||||
| -rw-r--r-- | lex/cset.ml | 2 | ||||
| -rw-r--r-- | lex/cset.mli | 2 | ||||
| -rw-r--r-- | lex/lexer.mli | 2 | ||||
| -rw-r--r-- | lex/lexer.mll | 2 | ||||
| -rw-r--r-- | lex/lexgen.ml | 2 | ||||
| -rw-r--r-- | lex/lexgen.mli | 2 | ||||
| -rw-r--r-- | lex/main.ml | 2 | ||||
| -rw-r--r-- | lex/output.ml | 2 | ||||
| -rw-r--r-- | lex/output.mli | 2 | ||||
| -rw-r--r-- | lex/outputbis.ml | 2 | ||||
| -rw-r--r-- | lex/outputbis.mli | 2 | ||||
| -rw-r--r-- | lex/parser.mly | 2 | ||||
| -rw-r--r-- | lex/syntax.ml | 2 | ||||
| -rw-r--r-- | lex/syntax.mli | 2 | ||||
| -rw-r--r-- | lex/table.ml | 2 | ||||
| -rw-r--r-- | lex/table.mli | 2 |
22 files changed, 22 insertions, 22 deletions
diff --git a/lex/Makefile b/lex/Makefile index f190ed892..d73939a3c 100644 --- a/lex/Makefile +++ b/lex/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/lex/Makefile.nt b/lex/Makefile.nt index cb1ef94a5..8443c5759 100644 --- a/lex/Makefile.nt +++ b/lex/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/lex/common.ml b/lex/common.ml index cacea62d0..5638185d0 100644 --- a/lex/common.ml +++ b/lex/common.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Luc Maranget, projet Moscova, *) (* INRIA Rocquencourt *) diff --git a/lex/common.mli b/lex/common.mli index e5742b45b..f85baa01f 100644 --- a/lex/common.mli +++ b/lex/common.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/lex/compact.ml b/lex/compact.ml index abbf5a503..72cfd9e7c 100644 --- a/lex/compact.ml +++ b/lex/compact.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/compact.mli b/lex/compact.mli index 18363c3d4..6e48df006 100644 --- a/lex/compact.mli +++ b/lex/compact.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/cset.ml b/lex/cset.ml index c4594540e..ce77044b6 100644 --- a/lex/cset.ml +++ b/lex/cset.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Luc Maranget, Jerome Vouillon projet Cristal, *) (* INRIA Rocquencourt *) diff --git a/lex/cset.mli b/lex/cset.mli index 53b589959..b30c3b671 100644 --- a/lex/cset.mli +++ b/lex/cset.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Luc Maranget, Jerome Vouillon projet Cristal, *) (* INRIA Rocquencourt *) diff --git a/lex/lexer.mli b/lex/lexer.mli index be34674eb..5097d3094 100644 --- a/lex/lexer.mli +++ b/lex/lexer.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/lexer.mll b/lex/lexer.mll index b72804287..b99dddf9e 100644 --- a/lex/lexer.mll +++ b/lex/lexer.mll @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/lexgen.ml b/lex/lexgen.ml index 775e78b05..37720be61 100644 --- a/lex/lexgen.ml +++ b/lex/lexgen.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, *) (* Luc Maranget, projet Moscova, *) diff --git a/lex/lexgen.mli b/lex/lexgen.mli index 5136f8f28..155b9e45a 100644 --- a/lex/lexgen.mli +++ b/lex/lexgen.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/main.ml b/lex/main.ml index 4f05ca21e..28f1e55e6 100644 --- a/lex/main.ml +++ b/lex/main.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/output.ml b/lex/output.ml index 5ca403b52..377c00a2d 100644 --- a/lex/output.ml +++ b/lex/output.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/output.mli b/lex/output.mli index 85f89b30c..5eae10314 100644 --- a/lex/output.mli +++ b/lex/output.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/outputbis.ml b/lex/outputbis.ml index 6d5e77c30..7eac35444 100644 --- a/lex/outputbis.ml +++ b/lex/outputbis.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/outputbis.mli b/lex/outputbis.mli index 76f00672b..df6bf9600 100644 --- a/lex/outputbis.mli +++ b/lex/outputbis.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Luc Maranget projet Moscova INRIA Rocquencourt *) (* *) diff --git a/lex/parser.mly b/lex/parser.mly index 9bc0906af..c36d8e020 100644 --- a/lex/parser.mly +++ b/lex/parser.mly @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/lex/syntax.ml b/lex/syntax.ml index d1daa02db..746a99a24 100644 --- a/lex/syntax.ml +++ b/lex/syntax.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/syntax.mli b/lex/syntax.mli index 4864b50ee..d61fdb228 100644 --- a/lex/syntax.mli +++ b/lex/syntax.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/lex/table.ml b/lex/table.ml index 402f52be8..fb5a6128e 100644 --- a/lex/table.ml +++ b/lex/table.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Luc Maranget, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/lex/table.mli b/lex/table.mli index b88d7d345..8d9938cbf 100644 --- a/lex/table.mli +++ b/lex/table.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Luc Maranget, projet Moscova, INRIA Rocquencourt *) (* *) |