diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/clflags.ml | 4 | ||||
| -rw-r--r-- | utils/config.mli | 4 | ||||
| -rw-r--r-- | utils/config.mlp | 6 | ||||
| -rw-r--r-- | utils/misc.ml | 4 | ||||
| -rw-r--r-- | utils/misc.mli | 4 | ||||
| -rw-r--r-- | utils/tbl.ml | 4 | ||||
| -rw-r--r-- | utils/tbl.mli | 4 | ||||
| -rw-r--r-- | utils/terminfo.ml | 4 | ||||
| -rw-r--r-- | utils/terminfo.mli | 4 |
9 files changed, 19 insertions, 19 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 0c771c5b0..4b31212f6 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/utils/config.mli b/utils/config.mli index d0fe3bdaa..74dec59d3 100644 --- a/utils/config.mli +++ b/utils/config.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/utils/config.mlp b/utils/config.mlp index 33e54e570..28cb1d2f8 100644 --- a/utils/config.mlp +++ b/utils/config.mlp @@ -1,17 +1,17 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) (* $Id$ *) -let version = "1.16" +let version = "1.00" let standard_library = try diff --git a/utils/misc.ml b/utils/misc.ml index c78e2d26a..37f7598b4 100644 --- a/utils/misc.ml +++ b/utils/misc.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/utils/misc.mli b/utils/misc.mli index 9c97aeab7..5efe20f13 100644 --- a/utils/misc.mli +++ b/utils/misc.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/utils/tbl.ml b/utils/tbl.ml index afc58bb09..5b3fd2208 100644 --- a/utils/tbl.ml +++ b/utils/tbl.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/utils/tbl.mli b/utils/tbl.mli index c7114adfc..ff1c600d0 100644 --- a/utils/tbl.mli +++ b/utils/tbl.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/utils/terminfo.ml b/utils/terminfo.ml index d933c45c8..59ea74d67 100644 --- a/utils/terminfo.ml +++ b/utils/terminfo.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/utils/terminfo.mli b/utils/terminfo.mli index d933c45c8..59ea74d67 100644 --- a/utils/terminfo.mli +++ b/utils/terminfo.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) |