diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/ccomp.ml | 2 | ||||
| -rw-r--r-- | utils/ccomp.mli | 2 | ||||
| -rw-r--r-- | utils/clflags.ml | 2 | ||||
| -rw-r--r-- | utils/clflags.mli | 2 | ||||
| -rw-r--r-- | utils/config.mlbuild | 2 | ||||
| -rw-r--r-- | utils/config.mli | 2 | ||||
| -rw-r--r-- | utils/config.mlp | 2 | ||||
| -rw-r--r-- | utils/consistbl.ml | 2 | ||||
| -rw-r--r-- | utils/consistbl.mli | 2 | ||||
| -rw-r--r-- | utils/misc.ml | 2 | ||||
| -rw-r--r-- | utils/misc.mli | 2 | ||||
| -rw-r--r-- | utils/tbl.ml | 2 | ||||
| -rw-r--r-- | utils/tbl.mli | 2 | ||||
| -rw-r--r-- | utils/terminfo.ml | 2 | ||||
| -rw-r--r-- | utils/terminfo.mli | 2 | ||||
| -rw-r--r-- | utils/warnings.ml | 2 | ||||
| -rw-r--r-- | utils/warnings.mli | 2 |
17 files changed, 17 insertions, 17 deletions
diff --git a/utils/ccomp.ml b/utils/ccomp.ml index 94a29217d..881223ef9 100644 --- a/utils/ccomp.ml +++ b/utils/ccomp.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/ccomp.mli b/utils/ccomp.mli index 72ae71314..687c701fa 100644 --- a/utils/ccomp.mli +++ b/utils/ccomp.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/clflags.ml b/utils/clflags.ml index b28974477..0f7187d8a 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/clflags.mli b/utils/clflags.mli index c3a3966b5..7bbd32694 100644 --- a/utils/clflags.mli +++ b/utils/clflags.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/config.mlbuild b/utils/config.mlbuild index 68a7c8584..f041f9962 100644 --- a/utils/config.mlbuild +++ b/utils/config.mlbuild @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/config.mli b/utils/config.mli index da39808bd..102f9b129 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/config.mlp b/utils/config.mlp index 4cabf90bf..cfaa20aa4 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/consistbl.ml b/utils/consistbl.ml index d01d7c873..f724e4f8f 100644 --- a/utils/consistbl.ml +++ b/utils/consistbl.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/consistbl.mli b/utils/consistbl.mli index edaac12fc..a877733b5 100644 --- a/utils/consistbl.mli +++ b/utils/consistbl.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/misc.ml b/utils/misc.ml index 68ca8e3da..0eab66dc5 100644 --- a/utils/misc.ml +++ b/utils/misc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/misc.mli b/utils/misc.mli index 87f74e257..fdb492656 100644 --- a/utils/misc.mli +++ b/utils/misc.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/tbl.ml b/utils/tbl.ml index b06516931..63c133a20 100644 --- a/utils/tbl.ml +++ b/utils/tbl.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/tbl.mli b/utils/tbl.mli index 44a021a78..626fd4c13 100644 --- a/utils/tbl.mli +++ b/utils/tbl.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/terminfo.ml b/utils/terminfo.ml index cc1799108..4619ac61c 100644 --- a/utils/terminfo.ml +++ b/utils/terminfo.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/terminfo.mli b/utils/terminfo.mli index ef26b61a5..5fa3aa14e 100644 --- a/utils/terminfo.mli +++ b/utils/terminfo.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/utils/warnings.ml b/utils/warnings.ml index 8393f9163..f77c5c060 100644 --- a/utils/warnings.ml +++ b/utils/warnings.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis && Damien Doligez, INRIA Rocquencourt *) (* *) diff --git a/utils/warnings.mli b/utils/warnings.mli index c9e577d9f..61e372076 100644 --- a/utils/warnings.mli +++ b/utils/warnings.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis && Damien Doligez, INRIA Rocquencourt *) (* *) |