diff options
Diffstat (limited to 'otherlibs/threads')
| -rw-r--r-- | otherlibs/threads/Makefile | 2 | ||||
| -rw-r--r-- | otherlibs/threads/condition.ml | 2 | ||||
| -rw-r--r-- | otherlibs/threads/condition.mli | 2 | ||||
| -rw-r--r-- | otherlibs/threads/event.ml | 2 | ||||
| -rw-r--r-- | otherlibs/threads/event.mli | 2 | ||||
| -rw-r--r-- | otherlibs/threads/marshal.ml | 2 | ||||
| -rw-r--r-- | otherlibs/threads/mutex.ml | 2 | ||||
| -rw-r--r-- | otherlibs/threads/mutex.mli | 2 | ||||
| -rw-r--r-- | otherlibs/threads/pervasives.ml | 2 | ||||
| -rw-r--r-- | otherlibs/threads/scheduler.c | 2 | ||||
| -rw-r--r-- | otherlibs/threads/thread.ml | 2 | ||||
| -rw-r--r-- | otherlibs/threads/thread.mli | 2 | ||||
| -rw-r--r-- | otherlibs/threads/threadUnix.ml | 2 | ||||
| -rw-r--r-- | otherlibs/threads/threadUnix.mli | 2 | ||||
| -rw-r--r-- | otherlibs/threads/unix.ml | 2 |
15 files changed, 15 insertions, 15 deletions
diff --git a/otherlibs/threads/Makefile b/otherlibs/threads/Makefile index 0e6ef86ff..3354a275b 100644 --- a/otherlibs/threads/Makefile +++ b/otherlibs/threads/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/threads/condition.ml b/otherlibs/threads/condition.ml index e012a86e3..ee687a85b 100644 --- a/otherlibs/threads/condition.ml +++ b/otherlibs/threads/condition.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/condition.mli b/otherlibs/threads/condition.mli index 5bc9d6740..d13b30d86 100644 --- a/otherlibs/threads/condition.mli +++ b/otherlibs/threads/condition.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/event.ml b/otherlibs/threads/event.ml index 74f457b06..ff137e981 100644 --- a/otherlibs/threads/event.ml +++ b/otherlibs/threads/event.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* David Nowak and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/event.mli b/otherlibs/threads/event.mli index 08d6b0bf6..11842e5ad 100644 --- a/otherlibs/threads/event.mli +++ b/otherlibs/threads/event.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* David Nowak and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/marshal.ml b/otherlibs/threads/marshal.ml index d31a667df..6f2bcfed7 100644 --- a/otherlibs/threads/marshal.ml +++ b/otherlibs/threads/marshal.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/mutex.ml b/otherlibs/threads/mutex.ml index f0f6845b2..12e3f534d 100644 --- a/otherlibs/threads/mutex.ml +++ b/otherlibs/threads/mutex.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/mutex.mli b/otherlibs/threads/mutex.mli index b1fe14135..844d4e5d4 100644 --- a/otherlibs/threads/mutex.mli +++ b/otherlibs/threads/mutex.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/pervasives.ml b/otherlibs/threads/pervasives.ml index 748e96796..f83a1cf0d 100644 --- a/otherlibs/threads/pervasives.ml +++ b/otherlibs/threads/pervasives.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/scheduler.c b/otherlibs/threads/scheduler.c index c73ac67e8..3f5197903 100644 --- a/otherlibs/threads/scheduler.c +++ b/otherlibs/threads/scheduler.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/threads/thread.ml b/otherlibs/threads/thread.ml index 723669a39..f4bbd8a5a 100644 --- a/otherlibs/threads/thread.ml +++ b/otherlibs/threads/thread.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/thread.mli b/otherlibs/threads/thread.mli index 9577a54eb..e97e55ab1 100644 --- a/otherlibs/threads/thread.mli +++ b/otherlibs/threads/thread.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/threadUnix.ml b/otherlibs/threads/threadUnix.ml index 66a3704c1..bd4181b99 100644 --- a/otherlibs/threads/threadUnix.ml +++ b/otherlibs/threads/threadUnix.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/threadUnix.mli b/otherlibs/threads/threadUnix.mli index 1b4dde29b..22ed9330e 100644 --- a/otherlibs/threads/threadUnix.mli +++ b/otherlibs/threads/threadUnix.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/threads/unix.ml b/otherlibs/threads/unix.ml index 5a8bb697d..230617072 100644 --- a/otherlibs/threads/unix.ml +++ b/otherlibs/threads/unix.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) |