diff options
Diffstat (limited to 'otherlibs')
443 files changed, 823 insertions, 556 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index c5db1981c..fba032df8 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/Makefile.nt b/otherlibs/Makefile.nt index 32aca21c0..ceab7f0c5 100644 --- a/otherlibs/Makefile.nt +++ b/otherlibs/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/Makefile.shared b/otherlibs/Makefile.shared index 7e6780b3e..08e9abb1d 100644 --- a/otherlibs/Makefile.shared +++ b/otherlibs/Makefile.shared @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/bigarray/Makefile b/otherlibs/bigarray/Makefile index 38914ff35..83b315258 100644 --- a/otherlibs/bigarray/Makefile +++ b/otherlibs/bigarray/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/bigarray/Makefile.nt b/otherlibs/bigarray/Makefile.nt index 78f3fc6b6..e845ad62e 100644 --- a/otherlibs/bigarray/Makefile.nt +++ b/otherlibs/bigarray/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/bigarray/bigarray.h b/otherlibs/bigarray/bigarray.h index 407a53776..695306544 100644 --- a/otherlibs/bigarray/bigarray.h +++ b/otherlibs/bigarray/bigarray.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Manuel Serrano and Xavier Leroy, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/bigarray/bigarray.ml b/otherlibs/bigarray/bigarray.ml index 09ae8bd13..1d3dbcf97 100644 --- a/otherlibs/bigarray/bigarray.ml +++ b/otherlibs/bigarray/bigarray.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Manuel Serrano et Xavier Leroy, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/bigarray/bigarray.mli b/otherlibs/bigarray/bigarray.mli index a49923ae2..a66e1eebb 100644 --- a/otherlibs/bigarray/bigarray.mli +++ b/otherlibs/bigarray/bigarray.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Manuel Serrano and Xavier Leroy, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/bigarray/bigarray_stubs.c b/otherlibs/bigarray/bigarray_stubs.c index e7bee339b..7c751b7cf 100644 --- a/otherlibs/bigarray/bigarray_stubs.c +++ b/otherlibs/bigarray/bigarray_stubs.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Manuel Serrano and Xavier Leroy, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/bigarray/mmap_unix.c b/otherlibs/bigarray/mmap_unix.c index 6af039302..4d77c2e54 100644 --- a/otherlibs/bigarray/mmap_unix.c +++ b/otherlibs/bigarray/mmap_unix.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Manuel Serrano and Xavier Leroy, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/bigarray/mmap_win32.c b/otherlibs/bigarray/mmap_win32.c index 9be9e18e0..067e3284a 100644 --- a/otherlibs/bigarray/mmap_win32.c +++ b/otherlibs/bigarray/mmap_win32.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Manuel Serrano and Xavier Leroy, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/dbm/Makefile b/otherlibs/dbm/Makefile index 099327d69..dcd068ade 100644 --- a/otherlibs/dbm/Makefile +++ b/otherlibs/dbm/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/dbm/cldbm.c b/otherlibs/dbm/cldbm.c index 0d6cb362d..6c9954a34 100644 --- a/otherlibs/dbm/cldbm.c +++ b/otherlibs/dbm/cldbm.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Francois Rouaix, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/dbm/dbm.ml b/otherlibs/dbm/dbm.ml index f31d29934..26fbb80a5 100644 --- a/otherlibs/dbm/dbm.ml +++ b/otherlibs/dbm/dbm.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/dbm/dbm.mli b/otherlibs/dbm/dbm.mli index f9924427a..9a0c49212 100644 --- a/otherlibs/dbm/dbm.mli +++ b/otherlibs/dbm/dbm.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Francois Rouaix, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/dynlink/Makefile b/otherlibs/dynlink/Makefile index 3da485f47..c44451c0e 100644 --- a/otherlibs/dynlink/Makefile +++ b/otherlibs/dynlink/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/dynlink/Makefile.nt b/otherlibs/dynlink/Makefile.nt index 3d8b84b77..31ee136d6 100644 --- a/otherlibs/dynlink/Makefile.nt +++ b/otherlibs/dynlink/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/dynlink/dynlink.ml b/otherlibs/dynlink/dynlink.ml index 0d324a854..603535d65 100644 --- a/otherlibs/dynlink/dynlink.ml +++ b/otherlibs/dynlink/dynlink.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/dynlink/dynlink.mli b/otherlibs/dynlink/dynlink.mli index 7cca68c5a..849f1e148 100644 --- a/otherlibs/dynlink/dynlink.mli +++ b/otherlibs/dynlink/dynlink.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) @@ -98,7 +98,7 @@ val add_available_units : (string * Digest.t) list -> unit for each unit. This way, the [.cmi] interface files need not be available at run-time. The digests can be extracted from [.cmi] files using the [extract_crc] program installed in the - Objective Caml standard library directory. *) + OCaml standard library directory. *) val clear_available_units : unit -> unit (** Empty the list of compilation units accessible to dynamically-linked diff --git a/otherlibs/dynlink/extract_crc.ml b/otherlibs/dynlink/extract_crc.ml index e7d9139be..672ca6ea9 100644 --- a/otherlibs/dynlink/extract_crc.ml +++ b/otherlibs/dynlink/extract_crc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/dynlink/natdynlink.ml b/otherlibs/dynlink/natdynlink.ml index 6ab9b9850..d980a7b90 100644 --- a/otherlibs/dynlink/natdynlink.ml +++ b/otherlibs/dynlink/natdynlink.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Gallium, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/graph/Makefile b/otherlibs/graph/Makefile index 2be984465..19c4612ed 100644 --- a/otherlibs/graph/Makefile +++ b/otherlibs/graph/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/graph/color.c b/otherlibs/graph/color.c index 0dc296707..bdd8b5e28 100644 --- a/otherlibs/graph/color.c +++ b/otherlibs/graph/color.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/draw.c b/otherlibs/graph/draw.c index 35a4ae175..0419c6270 100644 --- a/otherlibs/graph/draw.c +++ b/otherlibs/graph/draw.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/dump_img.c b/otherlibs/graph/dump_img.c index 8c82c21bf..66185d875 100644 --- a/otherlibs/graph/dump_img.c +++ b/otherlibs/graph/dump_img.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/events.c b/otherlibs/graph/events.c index d9563a397..508931055 100644 --- a/otherlibs/graph/events.c +++ b/otherlibs/graph/events.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/fill.c b/otherlibs/graph/fill.c index 0430c14a6..bb1a60e78 100644 --- a/otherlibs/graph/fill.c +++ b/otherlibs/graph/fill.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/graphics.ml b/otherlibs/graph/graphics.ml index 96a247161..a9dd51140 100644 --- a/otherlibs/graph/graphics.ml +++ b/otherlibs/graph/graphics.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/graph/graphics.mli b/otherlibs/graph/graphics.mli index 23d61a39a..10074cb7a 100644 --- a/otherlibs/graph/graphics.mli +++ b/otherlibs/graph/graphics.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/graph/graphicsX11.ml b/otherlibs/graph/graphicsX11.ml index 85f5a4360..4b70d29bd 100644 --- a/otherlibs/graph/graphicsX11.ml +++ b/otherlibs/graph/graphicsX11.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis and Jun Furuse, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/graph/graphicsX11.mli b/otherlibs/graph/graphicsX11.mli index 111825371..f35f5a664 100644 --- a/otherlibs/graph/graphicsX11.mli +++ b/otherlibs/graph/graphicsX11.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Pierre Weis and Jun Furuse, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/graph/image.c b/otherlibs/graph/image.c index a337de348..c610d96b6 100644 --- a/otherlibs/graph/image.c +++ b/otherlibs/graph/image.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/image.h b/otherlibs/graph/image.h index 539cf9f8c..76d319e0a 100644 --- a/otherlibs/graph/image.h +++ b/otherlibs/graph/image.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/libgraph.h b/otherlibs/graph/libgraph.h index d2df1c1ae..db3fd71d8 100644 --- a/otherlibs/graph/libgraph.h +++ b/otherlibs/graph/libgraph.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/make_img.c b/otherlibs/graph/make_img.c index 325e6698d..08628804f 100644 --- a/otherlibs/graph/make_img.c +++ b/otherlibs/graph/make_img.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/open.c b/otherlibs/graph/open.c index 82a4c0fb3..1f7da5ba4 100644 --- a/otherlibs/graph/open.c +++ b/otherlibs/graph/open.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/point_col.c b/otherlibs/graph/point_col.c index 473dae7d0..2149aa8eb 100644 --- a/otherlibs/graph/point_col.c +++ b/otherlibs/graph/point_col.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/sound.c b/otherlibs/graph/sound.c index dc75b7ed0..cba7a909b 100644 --- a/otherlibs/graph/sound.c +++ b/otherlibs/graph/sound.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/subwindow.c b/otherlibs/graph/subwindow.c index 642e28c40..08882569e 100644 --- a/otherlibs/graph/subwindow.c +++ b/otherlibs/graph/subwindow.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Jun Furuse, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/graph/text.c b/otherlibs/graph/text.c index f4d980aed..6743e8640 100644 --- a/otherlibs/graph/text.c +++ b/otherlibs/graph/text.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/labltk/Makefile b/otherlibs/labltk/Makefile index 8c3b823c5..8b7209b10 100644 --- a/otherlibs/labltk/Makefile +++ b/otherlibs/labltk/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + # Top Makefile for mlTk SUBDIRS=compiler support lib jpf frx examples_labltk \ diff --git a/otherlibs/labltk/Makefile.nt b/otherlibs/labltk/Makefile.nt index f1fd56ed9..651540f34 100644 --- a/otherlibs/labltk/Makefile.nt +++ b/otherlibs/labltk/Makefile.nt @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2000 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + # Top Makefile for LablTk include ../../config/Makefile diff --git a/otherlibs/labltk/README b/otherlibs/labltk/README index b556d2b3e..5d3e9d314 100644 --- a/otherlibs/labltk/README +++ b/otherlibs/labltk/README @@ -1,6 +1,6 @@ INTRODUCTION ============ -mlTk is a library for interfacing Objective Caml with the scripting +mlTk is a library for interfacing OCaml with the scripting language Tcl/Tk (all versions since 8.0.3, but no betas). In addition to the basic interface with Tcl/Tk, this package contains @@ -31,7 +31,7 @@ just with little fixes. REQUIREMENTS ============ You must have already installed - * Objective Caml source, version 3.04+8 or later + * OCaml source, version 3.04+8 or later * Tcl/Tk 8.0.3 or later http://www.scriptics.com/ or various mirrors diff --git a/otherlibs/labltk/Widgets.src b/otherlibs/labltk/Widgets.src index abf015a27..e66268278 100644 --- a/otherlibs/labltk/Widgets.src +++ b/otherlibs/labltk/Widgets.src @@ -1,3 +1,19 @@ +%(***********************************************************************) +%(* *) +%(* MLTk, Tcl/Tk interface of OCaml *) +%(* *) +%(* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) +%(* projet Cristal, INRIA Rocquencourt *) +%(* Jacques Garrigue, Kyoto University RIMS *) +%(* *) +%(* Copyright 2002 Institut National de Recherche en Informatique et *) +%(* en Automatique and Kyoto University. All rights reserved. *) +%(* This file is distributed under the terms of the GNU Library *) +%(* General Public License, with the special exception on linking *) +%(* described in file LICENSE found in the OCaml source tree. *) +%(* *) +%(***********************************************************************) + %%%%%%%%%%%%%% Standard Tk8.0.3 Widgets and functions %%%%%%%%%%%%%% type Widget external diff --git a/otherlibs/labltk/browser/Makefile b/otherlibs/labltk/browser/Makefile index 5caed2bf6..a21973e7c 100644 --- a/otherlibs/labltk/browser/Makefile +++ b/otherlibs/labltk/browser/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# OCaml LablTk library # +# # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file ../../../LICENSE. # +# # +######################################################################### + # $Id$ OTHERSLIB=-I $(OTHERS)/unix -I $(OTHERS)/str diff --git a/otherlibs/labltk/browser/Makefile.nt b/otherlibs/labltk/browser/Makefile.nt index 405f47e74..289b0924c 100644 --- a/otherlibs/labltk/browser/Makefile.nt +++ b/otherlibs/labltk/browser/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# OCaml LablTk library # +# # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2000 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file ../../../LICENSE. # +# # +######################################################################### + # $Id$ OTHERSLIB=-I $(OTHERS)/win32unix -I $(OTHERS)/str -I $(OTHERS)/systhreads diff --git a/otherlibs/labltk/browser/Makefile.shared b/otherlibs/labltk/browser/Makefile.shared index b80967086..b6be2fc33 100644 --- a/otherlibs/labltk/browser/Makefile.shared +++ b/otherlibs/labltk/browser/Makefile.shared @@ -1,5 +1,19 @@ include ../support/Makefile.common +######################################################################### +# # +# OCaml LablTk library # +# # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file ../../../LICENSE. # +# # +######################################################################### + LABLTKLIB=-I ../labltk -I ../lib -I ../support OCAMLTOPLIB=-I $(TOPDIR)/parsing -I $(TOPDIR)/utils -I $(TOPDIR)/typing INCLUDES=$(OTHERSLIB) $(LABLTKLIB) $(OCAMLTOPLIB) @@ -52,7 +66,7 @@ install: cp ocamlbrowser$(EXE) $(BINDIR); fi clean: - rm -f *.cm? ocamlbrowser$(EXE) dummy.mli *~ *.orig *.$(O) + rm -f *.cm? ocamlbrowser$(EXE) dummy.mli *~ *.orig *.$(O) help.ml depend: $(CAMLDEP) *.ml *.mli > .depend diff --git a/otherlibs/labltk/browser/dummyUnix.mli b/otherlibs/labltk/browser/dummyUnix.mli index 227241923..137368118 100644 --- a/otherlibs/labltk/browser/dummyUnix.mli +++ b/otherlibs/labltk/browser/dummyUnix.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/dummyWin.mli b/otherlibs/labltk/browser/dummyWin.mli index a4b75ee37..3f8c26e63 100644 --- a/otherlibs/labltk/browser/dummyWin.mli +++ b/otherlibs/labltk/browser/dummyWin.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/editor.ml b/otherlibs/labltk/browser/editor.ml index 617cdfa85..a9f7e6eac 100644 --- a/otherlibs/labltk/browser/editor.ml +++ b/otherlibs/labltk/browser/editor.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/editor.mli b/otherlibs/labltk/browser/editor.mli index 665ee813f..2d5e90492 100644 --- a/otherlibs/labltk/browser/editor.mli +++ b/otherlibs/labltk/browser/editor.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/fileselect.ml b/otherlibs/labltk/browser/fileselect.ml index 22052b423..d62b8ba3c 100644 --- a/otherlibs/labltk/browser/fileselect.ml +++ b/otherlibs/labltk/browser/fileselect.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/fileselect.mli b/otherlibs/labltk/browser/fileselect.mli index b723c626d..ed10eaf68 100644 --- a/otherlibs/labltk/browser/fileselect.mli +++ b/otherlibs/labltk/browser/fileselect.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_bind.ml b/otherlibs/labltk/browser/jg_bind.ml index 2e3ec9870..3fb854b09 100644 --- a/otherlibs/labltk/browser/jg_bind.ml +++ b/otherlibs/labltk/browser/jg_bind.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_bind.mli b/otherlibs/labltk/browser/jg_bind.mli index e09c2ba46..70e323bee 100644 --- a/otherlibs/labltk/browser/jg_bind.mli +++ b/otherlibs/labltk/browser/jg_bind.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_box.ml b/otherlibs/labltk/browser/jg_box.ml index 3675f4bfa..bc865f6d5 100644 --- a/otherlibs/labltk/browser/jg_box.ml +++ b/otherlibs/labltk/browser/jg_box.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_button.ml b/otherlibs/labltk/browser/jg_button.ml index 11abd68ab..de8d3582b 100644 --- a/otherlibs/labltk/browser/jg_button.ml +++ b/otherlibs/labltk/browser/jg_button.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_completion.ml b/otherlibs/labltk/browser/jg_completion.ml index c93b099b3..a5457a65b 100644 --- a/otherlibs/labltk/browser/jg_completion.ml +++ b/otherlibs/labltk/browser/jg_completion.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_completion.mli b/otherlibs/labltk/browser/jg_completion.mli index 69c7a134c..40c2db3ce 100644 --- a/otherlibs/labltk/browser/jg_completion.mli +++ b/otherlibs/labltk/browser/jg_completion.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_config.ml b/otherlibs/labltk/browser/jg_config.ml index bce0e50e7..fbbd2ef1b 100644 --- a/otherlibs/labltk/browser/jg_config.ml +++ b/otherlibs/labltk/browser/jg_config.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_config.mli b/otherlibs/labltk/browser/jg_config.mli index 511e2b3a6..fdaab3fe1 100644 --- a/otherlibs/labltk/browser/jg_config.mli +++ b/otherlibs/labltk/browser/jg_config.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_entry.ml b/otherlibs/labltk/browser/jg_entry.ml index c09a273e8..1f7aab751 100644 --- a/otherlibs/labltk/browser/jg_entry.ml +++ b/otherlibs/labltk/browser/jg_entry.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_memo.ml b/otherlibs/labltk/browser/jg_memo.ml index e238929a0..fb1c05efa 100644 --- a/otherlibs/labltk/browser/jg_memo.ml +++ b/otherlibs/labltk/browser/jg_memo.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_memo.mli b/otherlibs/labltk/browser/jg_memo.mli index 5491dee32..14443ad16 100644 --- a/otherlibs/labltk/browser/jg_memo.mli +++ b/otherlibs/labltk/browser/jg_memo.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_menu.ml b/otherlibs/labltk/browser/jg_menu.ml index b399d10d8..880ca775e 100644 --- a/otherlibs/labltk/browser/jg_menu.ml +++ b/otherlibs/labltk/browser/jg_menu.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_message.ml b/otherlibs/labltk/browser/jg_message.ml index 3c18f193c..d4d3ebbd2 100644 --- a/otherlibs/labltk/browser/jg_message.ml +++ b/otherlibs/labltk/browser/jg_message.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_message.mli b/otherlibs/labltk/browser/jg_message.mli index 0a83a594f..0e123ac2c 100644 --- a/otherlibs/labltk/browser/jg_message.mli +++ b/otherlibs/labltk/browser/jg_message.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_multibox.ml b/otherlibs/labltk/browser/jg_multibox.ml index febec8e5d..39082e329 100644 --- a/otherlibs/labltk/browser/jg_multibox.ml +++ b/otherlibs/labltk/browser/jg_multibox.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_multibox.mli b/otherlibs/labltk/browser/jg_multibox.mli index 6dfe7d8fb..bccca5062 100644 --- a/otherlibs/labltk/browser/jg_multibox.mli +++ b/otherlibs/labltk/browser/jg_multibox.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_text.ml b/otherlibs/labltk/browser/jg_text.ml index 067b9dac5..76eeb92a7 100644 --- a/otherlibs/labltk/browser/jg_text.ml +++ b/otherlibs/labltk/browser/jg_text.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_text.mli b/otherlibs/labltk/browser/jg_text.mli index e8646dd9d..44cba0232 100644 --- a/otherlibs/labltk/browser/jg_text.mli +++ b/otherlibs/labltk/browser/jg_text.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_tk.ml b/otherlibs/labltk/browser/jg_tk.ml index 7fc77f096..16106eebf 100644 --- a/otherlibs/labltk/browser/jg_tk.ml +++ b/otherlibs/labltk/browser/jg_tk.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/jg_toplevel.ml b/otherlibs/labltk/browser/jg_toplevel.ml index 64b6f54d7..d77845df5 100644 --- a/otherlibs/labltk/browser/jg_toplevel.ml +++ b/otherlibs/labltk/browser/jg_toplevel.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/lexical.ml b/otherlibs/labltk/browser/lexical.ml index 72f1957ec..a700f7286 100644 --- a/otherlibs/labltk/browser/lexical.ml +++ b/otherlibs/labltk/browser/lexical.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/lexical.mli b/otherlibs/labltk/browser/lexical.mli index 3be04d324..52d09e35f 100644 --- a/otherlibs/labltk/browser/lexical.mli +++ b/otherlibs/labltk/browser/lexical.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/list2.ml b/otherlibs/labltk/browser/list2.ml index 87b88f496..4439e7410 100644 --- a/otherlibs/labltk/browser/list2.ml +++ b/otherlibs/labltk/browser/list2.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/main.ml b/otherlibs/labltk/browser/main.ml index 181506960..1d79daa54 100644 --- a/otherlibs/labltk/browser/main.ml +++ b/otherlibs/labltk/browser/main.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) @@ -49,7 +49,7 @@ let check ~spec argv = open Printf let print_version () = - printf "The Objective Caml browser, version %s\n" Sys.ocaml_version; + printf "The OCaml browser, version %s\n" Sys.ocaml_version; exit 0; ;; @@ -106,7 +106,7 @@ let _ = (Printf.sprintf "%s\nPlease check that %s %s\nCurrent value is `%s'" "Couldn't initialize environment." (if is_win32 then "%OCAMLLIB%" else "$OCAMLLIB") - "points to the Objective Caml library." + "points to the OCaml library." Config.standard_library) end; diff --git a/otherlibs/labltk/browser/mytypes.mli b/otherlibs/labltk/browser/mytypes.mli index 6db120adc..b4deead23 100644 --- a/otherlibs/labltk/browser/mytypes.mli +++ b/otherlibs/labltk/browser/mytypes.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/searchid.ml b/otherlibs/labltk/browser/searchid.ml index 6742039c1..47d7dd39a 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/searchid.mli b/otherlibs/labltk/browser/searchid.mli index 980c141d0..9e0c8ad98 100644 --- a/otherlibs/labltk/browser/searchid.mli +++ b/otherlibs/labltk/browser/searchid.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 8cae99593..9d9f8d10c 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/searchpos.mli b/otherlibs/labltk/browser/searchpos.mli index b2f89cd81..a2d5dfd95 100644 --- a/otherlibs/labltk/browser/searchpos.mli +++ b/otherlibs/labltk/browser/searchpos.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/setpath.ml b/otherlibs/labltk/browser/setpath.ml index 1a41b573b..018657610 100644 --- a/otherlibs/labltk/browser/setpath.ml +++ b/otherlibs/labltk/browser/setpath.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/setpath.mli b/otherlibs/labltk/browser/setpath.mli index 22bf5dc58..6191b70c6 100644 --- a/otherlibs/labltk/browser/setpath.mli +++ b/otherlibs/labltk/browser/setpath.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml index 1f1492de9..93525f881 100644 --- a/otherlibs/labltk/browser/shell.ml +++ b/otherlibs/labltk/browser/shell.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/shell.mli b/otherlibs/labltk/browser/shell.mli index ac94f43d7..5bb1ff5a3 100644 --- a/otherlibs/labltk/browser/shell.mli +++ b/otherlibs/labltk/browser/shell.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/typecheck.ml b/otherlibs/labltk/browser/typecheck.ml index d5347ef53..bcfa42d0c 100644 --- a/otherlibs/labltk/browser/typecheck.ml +++ b/otherlibs/labltk/browser/typecheck.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/typecheck.mli b/otherlibs/labltk/browser/typecheck.mli index d61fce62e..08a16dd20 100644 --- a/otherlibs/labltk/browser/typecheck.mli +++ b/otherlibs/labltk/browser/typecheck.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/useunix.ml b/otherlibs/labltk/browser/useunix.ml index 666f866f0..86554d488 100644 --- a/otherlibs/labltk/browser/useunix.ml +++ b/otherlibs/labltk/browser/useunix.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/useunix.mli b/otherlibs/labltk/browser/useunix.mli index 2850c0d2d..47d7a26aa 100644 --- a/otherlibs/labltk/browser/useunix.mli +++ b/otherlibs/labltk/browser/useunix.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/viewer.ml b/otherlibs/labltk/browser/viewer.ml index fef3cbe10..6c0c9351f 100644 --- a/otherlibs/labltk/browser/viewer.ml +++ b/otherlibs/labltk/browser/viewer.ml @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/viewer.mli b/otherlibs/labltk/browser/viewer.mli index d8bec671d..c56c5e415 100644 --- a/otherlibs/labltk/browser/viewer.mli +++ b/otherlibs/labltk/browser/viewer.mli @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/labltk/browser/winmain.c b/otherlibs/labltk/browser/winmain.c index dd9146fcc..4dd064416 100644 --- a/otherlibs/labltk/browser/winmain.c +++ b/otherlibs/labltk/browser/winmain.c @@ -1,3 +1,17 @@ +/*************************************************************************/ +/* */ +/* OCaml LablTk library */ +/* */ +/* Jacques Garrigue, Kyoto University RIMS */ +/* */ +/* Copyright 2001 Institut National de Recherche en Informatique et */ +/* en Automatique and Kyoto University. All rights reserved. */ +/* This file is distributed under the terms of the GNU Library */ +/* General Public License, with the special exception on linking */ +/* described in file ../../../LICENSE. */ +/* */ +/*************************************************************************/ + /* $Id$ */ #include <windows.h> diff --git a/otherlibs/labltk/builtin/LICENSE b/otherlibs/labltk/builtin/LICENSE index c006f51d5..dbad5f1c0 100644 --- a/otherlibs/labltk/builtin/LICENSE +++ b/otherlibs/labltk/builtin/LICENSE @@ -1,6 +1,6 @@ (*************************************************************************) (* *) -(* Objective Caml LablTk library *) +(* OCaml LablTk library *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse *) (* projet Cristal, INRIA Rocquencourt *) @@ -16,4 +16,4 @@ (* $Id$ *) -All the files in this directory are subject to the above copyright notice.
\ No newline at end of file +All the files in this directory are subject to the above copyright notice. diff --git a/otherlibs/labltk/camltk/Makefile b/otherlibs/labltk/camltk/Makefile index 19300ead4..62c22d3af 100644 --- a/otherlibs/labltk/camltk/Makefile +++ b/otherlibs/labltk/camltk/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common COMPFLAGS= -I ../support -I $(OTHERS)/win32unix -I $(OTHERS)/unix diff --git a/otherlibs/labltk/camltk/Makefile.gen b/otherlibs/labltk/camltk/Makefile.gen index f25e1f761..9ec1972c0 100644 --- a/otherlibs/labltk/camltk/Makefile.gen +++ b/otherlibs/labltk/camltk/Makefile.gen @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common all: cTk.ml camltk.ml .depend diff --git a/otherlibs/labltk/compiler/Makefile b/otherlibs/labltk/compiler/Makefile index b7db380f6..f6e584546 100644 --- a/otherlibs/labltk/compiler/Makefile +++ b/otherlibs/labltk/compiler/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common OBJS= ../support/support.cmo flags.cmo copyright.cmo \ diff --git a/otherlibs/labltk/compiler/code.mli b/otherlibs/labltk/compiler/code.mli index 6f3e29213..bde9c4455 100644 --- a/otherlibs/labltk/compiler/code.mli +++ b/otherlibs/labltk/compiler/code.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/compile.ml b/otherlibs/labltk/compiler/compile.ml index fd74bc173..2735deb87 100644 --- a/otherlibs/labltk/compiler/compile.ml +++ b/otherlibs/labltk/compiler/compile.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/copyright b/otherlibs/labltk/compiler/copyright index 23dff46dc..87ab0d30b 100644 --- a/otherlibs/labltk/compiler/copyright +++ b/otherlibs/labltk/compiler/copyright @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,6 +10,6 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/flags.ml b/otherlibs/labltk/compiler/flags.ml index 009d5e725..d832b4947 100644 --- a/otherlibs/labltk/compiler/flags.ml +++ b/otherlibs/labltk/compiler/flags.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/intf.ml b/otherlibs/labltk/compiler/intf.ml index 59608b381..42ad1b38d 100644 --- a/otherlibs/labltk/compiler/intf.ml +++ b/otherlibs/labltk/compiler/intf.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/lexer.mll b/otherlibs/labltk/compiler/lexer.mll index f51f0c01f..2fc2376e2 100644 --- a/otherlibs/labltk/compiler/lexer.mll +++ b/otherlibs/labltk/compiler/lexer.mll @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) diff --git a/otherlibs/labltk/compiler/maincompile.ml b/otherlibs/labltk/compiler/maincompile.ml index d8c72a312..91b6bcdff 100644 --- a/otherlibs/labltk/compiler/maincompile.ml +++ b/otherlibs/labltk/compiler/maincompile.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/parser.mly b/otherlibs/labltk/compiler/parser.mly index 15ced65f8..6dc7aff32 100644 --- a/otherlibs/labltk/compiler/parser.mly +++ b/otherlibs/labltk/compiler/parser.mly @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file ../LICENSE. */ +/* described in file ../../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/compiler/pp.ml b/otherlibs/labltk/compiler/pp.ml index 5c46766af..c6d4f7987 100644 --- a/otherlibs/labltk/compiler/pp.ml +++ b/otherlibs/labltk/compiler/pp.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/ppexec.ml b/otherlibs/labltk/compiler/ppexec.ml index 71118b960..dd66928c7 100644 --- a/otherlibs/labltk/compiler/ppexec.ml +++ b/otherlibs/labltk/compiler/ppexec.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/pplex.mli b/otherlibs/labltk/compiler/pplex.mli index 4eaa183b2..0502fc901 100644 --- a/otherlibs/labltk/compiler/pplex.mli +++ b/otherlibs/labltk/compiler/pplex.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/pplex.mll b/otherlibs/labltk/compiler/pplex.mll index 313d1f2dd..6559d8e94 100644 --- a/otherlibs/labltk/compiler/pplex.mll +++ b/otherlibs/labltk/compiler/pplex.mll @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file ../LICENSE. *) +(* described in file ../../../LICENSE. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/ppparse.ml b/otherlibs/labltk/compiler/ppparse.ml index 630d675de..2b0fdbf8c 100644 --- a/otherlibs/labltk/compiler/ppparse.ml +++ b/otherlibs/labltk/compiler/ppparse.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/ppyac.mly b/otherlibs/labltk/compiler/ppyac.mly index da7ee681f..f92ef9664 100644 --- a/otherlibs/labltk/compiler/ppyac.mly +++ b/otherlibs/labltk/compiler/ppyac.mly @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file ../LICENSE. */ +/* described in file ../../../LICENSE. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/compiler/printer.ml b/otherlibs/labltk/compiler/printer.ml index be70612aa..fe33ada36 100644 --- a/otherlibs/labltk/compiler/printer.ml +++ b/otherlibs/labltk/compiler/printer.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/tables.ml b/otherlibs/labltk/compiler/tables.ml index 0663dfaad..a86b4af50 100644 --- a/otherlibs/labltk/compiler/tables.ml +++ b/otherlibs/labltk/compiler/tables.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/compiler/tsort.ml b/otherlibs/labltk/compiler/tsort.ml index 6496eaae2..6768d0d7f 100644 --- a/otherlibs/labltk/compiler/tsort.ml +++ b/otherlibs/labltk/compiler/tsort.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_camltk/addition.ml b/otherlibs/labltk/examples_camltk/addition.ml index d4b333dcd..44988370c 100644 --- a/otherlibs/labltk/examples_camltk/addition.ml +++ b/otherlibs/labltk/examples_camltk/addition.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/examples_camltk/eyes.ml b/otherlibs/labltk/examples_camltk/eyes.ml index c93146231..ba88af343 100644 --- a/otherlibs/labltk/examples_camltk/eyes.ml +++ b/otherlibs/labltk/examples_camltk/eyes.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_camltk/fileinput.ml b/otherlibs/labltk/examples_camltk/fileinput.ml index c6190bdd4..70bc675bf 100644 --- a/otherlibs/labltk/examples_camltk/fileinput.ml +++ b/otherlibs/labltk/examples_camltk/fileinput.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk ;; diff --git a/otherlibs/labltk/examples_camltk/fileopen.ml b/otherlibs/labltk/examples_camltk/fileopen.ml index 927c24851..d0829bd2b 100644 --- a/otherlibs/labltk/examples_camltk/fileopen.ml +++ b/otherlibs/labltk/examples_camltk/fileopen.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk;; diff --git a/otherlibs/labltk/examples_camltk/helloworld.ml b/otherlibs/labltk/examples_camltk/helloworld.ml index bb99d9dd5..9829fca84 100644 --- a/otherlibs/labltk/examples_camltk/helloworld.ml +++ b/otherlibs/labltk/examples_camltk/helloworld.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk;; (* Make interface functions available *) diff --git a/otherlibs/labltk/examples_camltk/jptest.ml b/otherlibs/labltk/examples_camltk/jptest.ml index 38d9694c3..9ec06acaa 100644 --- a/otherlibs/labltk/examples_camltk/jptest.ml +++ b/otherlibs/labltk/examples_camltk/jptest.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Tk diff --git a/otherlibs/labltk/examples_camltk/mytext.ml b/otherlibs/labltk/examples_camltk/mytext.ml index d4c0d00b0..f3aadfbbe 100644 --- a/otherlibs/labltk/examples_camltk/mytext.ml +++ b/otherlibs/labltk/examples_camltk/mytext.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/examples_camltk/socketinput.ml b/otherlibs/labltk/examples_camltk/socketinput.ml index 492fdc926..485c25864 100644 --- a/otherlibs/labltk/examples_camltk/socketinput.ml +++ b/otherlibs/labltk/examples_camltk/socketinput.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/examples_camltk/taddition.ml b/otherlibs/labltk/examples_camltk/taddition.ml index 990812d73..c18673030 100644 --- a/otherlibs/labltk/examples_camltk/taddition.ml +++ b/otherlibs/labltk/examples_camltk/taddition.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Tk diff --git a/otherlibs/labltk/examples_camltk/tetris.ml b/otherlibs/labltk/examples_camltk/tetris.ml index 835343475..14a9b648f 100644 --- a/otherlibs/labltk/examples_camltk/tetris.ml +++ b/otherlibs/labltk/examples_camltk/tetris.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_camltk/text.ml b/otherlibs/labltk/examples_camltk/text.ml index 35273377b..0f876337f 100644 --- a/otherlibs/labltk/examples_camltk/text.ml +++ b/otherlibs/labltk/examples_camltk/text.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Tk diff --git a/otherlibs/labltk/examples_camltk/winskel.ml b/otherlibs/labltk/examples_camltk/winskel.ml index cf68178ae..c83e64368 100644 --- a/otherlibs/labltk/examples_camltk/winskel.ml +++ b/otherlibs/labltk/examples_camltk/winskel.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* This examples is based on Ousterhout's book (fig 16.15) *) diff --git a/otherlibs/labltk/examples_labltk/calc.ml b/otherlibs/labltk/examples_labltk/calc.ml index 088bf192f..17a410c8d 100644 --- a/otherlibs/labltk/examples_labltk/calc.ml +++ b/otherlibs/labltk/examples_labltk/calc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_labltk/clock.ml b/otherlibs/labltk/examples_labltk/clock.ml index 57a59b825..6903acb21 100644 --- a/otherlibs/labltk/examples_labltk/clock.ml +++ b/otherlibs/labltk/examples_labltk/clock.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_labltk/demo.ml b/otherlibs/labltk/examples_labltk/demo.ml index bd36f3f38..9524c1c7e 100644 --- a/otherlibs/labltk/examples_labltk/demo.ml +++ b/otherlibs/labltk/examples_labltk/demo.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_labltk/eyes.ml b/otherlibs/labltk/examples_labltk/eyes.ml index 81f6aa4a2..a96e08260 100644 --- a/otherlibs/labltk/examples_labltk/eyes.ml +++ b/otherlibs/labltk/examples_labltk/eyes.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_labltk/hello.ml b/otherlibs/labltk/examples_labltk/hello.ml index 3f39d546d..838b50ffc 100644 --- a/otherlibs/labltk/examples_labltk/hello.ml +++ b/otherlibs/labltk/examples_labltk/hello.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_labltk/lang.ml b/otherlibs/labltk/examples_labltk/lang.ml index cde363991..0d6ba8c9c 100644 --- a/otherlibs/labltk/examples_labltk/lang.ml +++ b/otherlibs/labltk/examples_labltk/lang.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_labltk/taquin.ml b/otherlibs/labltk/examples_labltk/taquin.ml index 280993518..616f38cb4 100644 --- a/otherlibs/labltk/examples_labltk/taquin.ml +++ b/otherlibs/labltk/examples_labltk/taquin.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/examples_labltk/tetris.ml b/otherlibs/labltk/examples_labltk/tetris.ml index 4f401e592..8260fc205 100644 --- a/otherlibs/labltk/examples_labltk/tetris.ml +++ b/otherlibs/labltk/examples_labltk/tetris.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/frx/Makefile b/otherlibs/labltk/frx/Makefile index 192034cf5..581200b07 100644 --- a/otherlibs/labltk/frx/Makefile +++ b/otherlibs/labltk/frx/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common COMPFLAGS=-I ../camltk -I ../support diff --git a/otherlibs/labltk/frx/frx_after.ml b/otherlibs/labltk/frx/frx_after.ml index 7fe6a4f2a..1b7dfef8b 100644 --- a/otherlibs/labltk/frx/frx_after.ml +++ b/otherlibs/labltk/frx/frx_after.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Protocol diff --git a/otherlibs/labltk/frx/frx_after.mli b/otherlibs/labltk/frx/frx_after.mli index 73c07f7bb..45e30456c 100644 --- a/otherlibs/labltk/frx/frx_after.mli +++ b/otherlibs/labltk/frx/frx_after.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) val idle : (unit -> unit) -> unit diff --git a/otherlibs/labltk/frx/frx_color.ml b/otherlibs/labltk/frx/frx_color.ml index 140e13879..e3e616a98 100644 --- a/otherlibs/labltk/frx/frx_color.ml +++ b/otherlibs/labltk/frx/frx_color.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_color.mli b/otherlibs/labltk/frx/frx_color.mli index 513cb0839..b2791655a 100644 --- a/otherlibs/labltk/frx/frx_color.mli +++ b/otherlibs/labltk/frx/frx_color.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) val check : string -> bool diff --git a/otherlibs/labltk/frx/frx_ctext.ml b/otherlibs/labltk/frx/frx_ctext.ml index 7d3cbb15a..498fe8ec7 100644 --- a/otherlibs/labltk/frx/frx_ctext.ml +++ b/otherlibs/labltk/frx/frx_ctext.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* A trick by Steve Ball to do pixel scrolling on text widgets *) diff --git a/otherlibs/labltk/frx/frx_ctext.mli b/otherlibs/labltk/frx/frx_ctext.mli index e539f5a8b..2f696abea 100644 --- a/otherlibs/labltk/frx/frx_ctext.mli +++ b/otherlibs/labltk/frx/frx_ctext.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_dialog.ml b/otherlibs/labltk/frx/frx_dialog.ml index 12289de63..096812dbc 100644 --- a/otherlibs/labltk/frx/frx_dialog.ml +++ b/otherlibs/labltk/frx/frx_dialog.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_dialog.mli b/otherlibs/labltk/frx/frx_dialog.mli index cd256acb3..fd816d34c 100644 --- a/otherlibs/labltk/frx/frx_dialog.mli +++ b/otherlibs/labltk/frx/frx_dialog.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_entry.ml b/otherlibs/labltk/frx/frx_entry.ml index ec8422186..0b7c339a0 100644 --- a/otherlibs/labltk/frx/frx_entry.ml +++ b/otherlibs/labltk/frx/frx_entry.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_entry.mli b/otherlibs/labltk/frx/frx_entry.mli index 2f34a7e64..0b09f16d3 100644 --- a/otherlibs/labltk/frx/frx_entry.mli +++ b/otherlibs/labltk/frx/frx_entry.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_fileinput.ml b/otherlibs/labltk/frx/frx_fileinput.ml index de1368670..dfba7a0f8 100644 --- a/otherlibs/labltk/frx/frx_fileinput.ml +++ b/otherlibs/labltk/frx/frx_fileinput.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_fillbox.ml b/otherlibs/labltk/frx/frx_fillbox.ml index 611b55a5d..143bea4a2 100644 --- a/otherlibs/labltk/frx/frx_fillbox.ml +++ b/otherlibs/labltk/frx/frx_fillbox.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_fillbox.mli b/otherlibs/labltk/frx/frx_fillbox.mli index a825524cd..9cfc9e780 100644 --- a/otherlibs/labltk/frx/frx_fillbox.mli +++ b/otherlibs/labltk/frx/frx_fillbox.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_fit.ml b/otherlibs/labltk/frx/frx_fit.ml index c03d6997a..bcfd457a2 100644 --- a/otherlibs/labltk/frx/frx_fit.ml +++ b/otherlibs/labltk/frx/frx_fit.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_fit.mli b/otherlibs/labltk/frx/frx_fit.mli index 29479d801..e61496455 100644 --- a/otherlibs/labltk/frx/frx_fit.mli +++ b/otherlibs/labltk/frx/frx_fit.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_focus.ml b/otherlibs/labltk/frx/frx_focus.ml index ce855e201..29eba574d 100644 --- a/otherlibs/labltk/frx/frx_focus.ml +++ b/otherlibs/labltk/frx/frx_focus.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_focus.mli b/otherlibs/labltk/frx/frx_focus.mli index 919f70475..dcb9317f8 100644 --- a/otherlibs/labltk/frx/frx_focus.mli +++ b/otherlibs/labltk/frx/frx_focus.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_font.ml b/otherlibs/labltk/frx/frx_font.ml index 3b739a650..4acb59979 100644 --- a/otherlibs/labltk/frx/frx_font.ml +++ b/otherlibs/labltk/frx/frx_font.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_font.mli b/otherlibs/labltk/frx/frx_font.mli index 8dd999737..4ed235f4c 100644 --- a/otherlibs/labltk/frx/frx_font.mli +++ b/otherlibs/labltk/frx/frx_font.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) val find : string -> string -> string -> int -> string diff --git a/otherlibs/labltk/frx/frx_group.ml b/otherlibs/labltk/frx/frx_group.ml index 17c8a0310..1adc2d880 100644 --- a/otherlibs/labltk/frx/frx_group.ml +++ b/otherlibs/labltk/frx/frx_group.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_lbutton.ml b/otherlibs/labltk/frx/frx_lbutton.ml index c4d51f7b5..82ea8a8cc 100644 --- a/otherlibs/labltk/frx/frx_lbutton.ml +++ b/otherlibs/labltk/frx/frx_lbutton.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_lbutton.mli b/otherlibs/labltk/frx/frx_lbutton.mli index 60c26a5b5..5522e5c24 100644 --- a/otherlibs/labltk/frx/frx_lbutton.mli +++ b/otherlibs/labltk/frx/frx_lbutton.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Widget diff --git a/otherlibs/labltk/frx/frx_listbox.ml b/otherlibs/labltk/frx/frx_listbox.ml index 17d6a3f9a..6d04262b6 100644 --- a/otherlibs/labltk/frx/frx_listbox.ml +++ b/otherlibs/labltk/frx/frx_listbox.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_listbox.mli b/otherlibs/labltk/frx/frx_listbox.mli index b44b6ee9d..54e7ec6a7 100644 --- a/otherlibs/labltk/frx/frx_listbox.mli +++ b/otherlibs/labltk/frx/frx_listbox.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_mem.ml b/otherlibs/labltk/frx/frx_mem.ml index 37af20830..6df0da75f 100644 --- a/otherlibs/labltk/frx/frx_mem.ml +++ b/otherlibs/labltk/frx/frx_mem.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* Memory gauge *) diff --git a/otherlibs/labltk/frx/frx_mem.mli b/otherlibs/labltk/frx/frx_mem.mli index f3069ec28..4f17fa79d 100644 --- a/otherlibs/labltk/frx/frx_mem.mli +++ b/otherlibs/labltk/frx/frx_mem.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* A Garbage Collector Gauge for Caml *) diff --git a/otherlibs/labltk/frx/frx_misc.ml b/otherlibs/labltk/frx/frx_misc.ml index 75c8a3e4d..e45c5f0f0 100644 --- a/otherlibs/labltk/frx/frx_misc.ml +++ b/otherlibs/labltk/frx/frx_misc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* Delayed global, a.k.a cache&carry *) diff --git a/otherlibs/labltk/frx/frx_misc.mli b/otherlibs/labltk/frx/frx_misc.mli index 2df8ce3d2..cd3d589fa 100644 --- a/otherlibs/labltk/frx/frx_misc.mli +++ b/otherlibs/labltk/frx/frx_misc.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_req.ml b/otherlibs/labltk/frx/frx_req.ml index ab7308fa3..41590c145 100644 --- a/otherlibs/labltk/frx/frx_req.ml +++ b/otherlibs/labltk/frx/frx_req.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_req.mli b/otherlibs/labltk/frx/frx_req.mli index 41de7df35..62985b9f9 100644 --- a/otherlibs/labltk/frx/frx_req.mli +++ b/otherlibs/labltk/frx/frx_req.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* Various dialog boxes *) diff --git a/otherlibs/labltk/frx/frx_rpc.ml b/otherlibs/labltk/frx/frx_rpc.ml index 5f29cbce5..5de7a15de 100644 --- a/otherlibs/labltk/frx/frx_rpc.ml +++ b/otherlibs/labltk/frx/frx_rpc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* Some notion of RPC *) diff --git a/otherlibs/labltk/frx/frx_rpc.mli b/otherlibs/labltk/frx/frx_rpc.mli index 808fe87c7..20811738a 100644 --- a/otherlibs/labltk/frx/frx_rpc.mli +++ b/otherlibs/labltk/frx/frx_rpc.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* Some notion of RPC *) diff --git a/otherlibs/labltk/frx/frx_selection.ml b/otherlibs/labltk/frx/frx_selection.ml index 7ef64ce86..ad037ce2d 100644 --- a/otherlibs/labltk/frx/frx_selection.ml +++ b/otherlibs/labltk/frx/frx_selection.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* A selection handler *) diff --git a/otherlibs/labltk/frx/frx_selection.mli b/otherlibs/labltk/frx/frx_selection.mli index dfb27ee24..b15265834 100644 --- a/otherlibs/labltk/frx/frx_selection.mli +++ b/otherlibs/labltk/frx/frx_selection.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) val set : string -> unit diff --git a/otherlibs/labltk/frx/frx_synth.ml b/otherlibs/labltk/frx/frx_synth.ml index 76b83b640..21bd7fa86 100644 --- a/otherlibs/labltk/frx/frx_synth.ml +++ b/otherlibs/labltk/frx/frx_synth.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* Some notion of synthetic events *) diff --git a/otherlibs/labltk/frx/frx_synth.mli b/otherlibs/labltk/frx/frx_synth.mli index 0b8d85d85..e5a96aa85 100644 --- a/otherlibs/labltk/frx/frx_synth.mli +++ b/otherlibs/labltk/frx/frx_synth.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* Synthetic events *) diff --git a/otherlibs/labltk/frx/frx_text.ml b/otherlibs/labltk/frx/frx_text.ml index 18d9961ff..a9ca17a37 100644 --- a/otherlibs/labltk/frx/frx_text.ml +++ b/otherlibs/labltk/frx/frx_text.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_text.mli b/otherlibs/labltk/frx/frx_text.mli index ac0384432..97783fa96 100644 --- a/otherlibs/labltk/frx/frx_text.mli +++ b/otherlibs/labltk/frx/frx_text.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_toplevel.mli b/otherlibs/labltk/frx/frx_toplevel.mli index 3608e1e57..628cde207 100644 --- a/otherlibs/labltk/frx/frx_toplevel.mli +++ b/otherlibs/labltk/frx/frx_toplevel.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Widget diff --git a/otherlibs/labltk/frx/frx_widget.ml b/otherlibs/labltk/frx/frx_widget.ml index a81c768f0..904513436 100644 --- a/otherlibs/labltk/frx/frx_widget.ml +++ b/otherlibs/labltk/frx/frx_widget.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/frx/frx_widget.mli b/otherlibs/labltk/frx/frx_widget.mli index ff26749ca..f856664cf 100644 --- a/otherlibs/labltk/frx/frx_widget.mli +++ b/otherlibs/labltk/frx/frx_widget.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Camltk diff --git a/otherlibs/labltk/jpf/Makefile b/otherlibs/labltk/jpf/Makefile index a79b3d568..a768b1390 100644 --- a/otherlibs/labltk/jpf/Makefile +++ b/otherlibs/labltk/jpf/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common COMPFLAGS=-I ../labltk -I ../support -I $(OTHERS)/win32unix -I $(OTHERS)/unix -I $(OTHERS)/str diff --git a/otherlibs/labltk/jpf/balloon.ml b/otherlibs/labltk/jpf/balloon.ml index 739a8d9ec..e880f2777 100644 --- a/otherlibs/labltk/jpf/balloon.ml +++ b/otherlibs/labltk/jpf/balloon.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/jpf/balloon.mli b/otherlibs/labltk/jpf/balloon.mli index 633796ce6..f3e65269d 100644 --- a/otherlibs/labltk/jpf/balloon.mli +++ b/otherlibs/labltk/jpf/balloon.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/jpf/balloontest.ml b/otherlibs/labltk/jpf/balloontest.ml index 60e3aded3..236f6174b 100644 --- a/otherlibs/labltk/jpf/balloontest.ml +++ b/otherlibs/labltk/jpf/balloontest.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/jpf/fileselect.ml b/otherlibs/labltk/jpf/fileselect.ml index 3d42ac2dc..23aaeb6d2 100644 --- a/otherlibs/labltk/jpf/fileselect.ml +++ b/otherlibs/labltk/jpf/fileselect.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/jpf/fileselect.mli b/otherlibs/labltk/jpf/fileselect.mli index 4412a4187..42f7d34fa 100644 --- a/otherlibs/labltk/jpf/fileselect.mli +++ b/otherlibs/labltk/jpf/fileselect.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/jpf/jpf_font.ml b/otherlibs/labltk/jpf/jpf_font.ml index 24b87b7c0..b036d421a 100644 --- a/otherlibs/labltk/jpf/jpf_font.ml +++ b/otherlibs/labltk/jpf/jpf_font.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) (* find font information *) diff --git a/otherlibs/labltk/jpf/jpf_font.mli b/otherlibs/labltk/jpf/jpf_font.mli index 03f705f52..f3045a9c8 100644 --- a/otherlibs/labltk/jpf/jpf_font.mli +++ b/otherlibs/labltk/jpf/jpf_font.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) val debug : bool ref diff --git a/otherlibs/labltk/jpf/shell.ml b/otherlibs/labltk/jpf/shell.ml index 8b00a8f2c..0d566e050 100644 --- a/otherlibs/labltk/jpf/shell.ml +++ b/otherlibs/labltk/jpf/shell.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) open Unix diff --git a/otherlibs/labltk/jpf/shell.mli b/otherlibs/labltk/jpf/shell.mli index c3fec3a2e..7c7dd8e1a 100644 --- a/otherlibs/labltk/jpf/shell.mli +++ b/otherlibs/labltk/jpf/shell.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) val subshell : string -> string list diff --git a/otherlibs/labltk/labltk/Makefile b/otherlibs/labltk/labltk/Makefile index f678954e0..1510de8f8 100644 --- a/otherlibs/labltk/labltk/Makefile +++ b/otherlibs/labltk/labltk/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common COMPFLAGS= -I ../support -I $(OTHERS)/win32unix -I $(OTHERS)/unix diff --git a/otherlibs/labltk/labltk/Makefile.gen b/otherlibs/labltk/labltk/Makefile.gen index 592ea4462..2e1fc274e 100644 --- a/otherlibs/labltk/labltk/Makefile.gen +++ b/otherlibs/labltk/labltk/Makefile.gen @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 2002 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common all: tk.ml labltk.ml .depend diff --git a/otherlibs/labltk/lib/Makefile b/otherlibs/labltk/lib/Makefile index b82bcddfa..6be9af056 100644 --- a/otherlibs/labltk/lib/Makefile +++ b/otherlibs/labltk/lib/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include ../support/Makefile.common all: $(LIBNAME).cma $(LIBNAME)top$(EXE) $(LIBNAME) diff --git a/otherlibs/labltk/support/Makefile b/otherlibs/labltk/support/Makefile index dd037a2b4..382f12c66 100644 --- a/otherlibs/labltk/support/Makefile +++ b/otherlibs/labltk/support/Makefile @@ -1,3 +1,19 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + include Makefile.common all: support.cmo rawwidget.cmo widget.cmo protocol.cmo \ diff --git a/otherlibs/labltk/support/Makefile.common b/otherlibs/labltk/support/Makefile.common index 56f6fd137..f0aa930d3 100644 --- a/otherlibs/labltk/support/Makefile.common +++ b/otherlibs/labltk/support/Makefile.common @@ -1,5 +1,21 @@ +####################################################################### +# # +# MLTk, Tcl/Tk interface of OCaml # +# # +# Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis # +# projet Cristal, INRIA Rocquencourt # +# Jacques Garrigue, Kyoto University RIMS # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique and Kyoto University. All rights reserved. # +# This file is distributed under the terms of the GNU Library # +# General Public License, with the special exception on linking # +# described in file LICENSE found in the OCaml source tree. # +# # +####################################################################### + ## Paths are relative to subdirectories -## Where you compiled Objective Caml +## Where you compiled OCaml TOPDIR=../../.. ## Path to the otherlibs subdirectory OTHERS=$(TOPDIR)/otherlibs @@ -10,7 +26,7 @@ include $(TOPDIR)/config/Makefile INSTALLDIR=$(LIBDIR)/$(LIBNAME) -## Tools from the Objective Caml distribution +## Tools from the OCaml distribution CAMLRUN=$(TOPDIR)/boot/ocamlrun CAMLC=$(TOPDIR)/ocamlcomp.sh diff --git a/otherlibs/labltk/support/camltk.h b/otherlibs/labltk/support/camltk.h index 5be206faa..54671a075 100644 --- a/otherlibs/labltk/support/camltk.h +++ b/otherlibs/labltk/support/camltk.h @@ -1,6 +1,6 @@ /*************************************************************************/ /* */ -/* Objective Caml LablTk library */ +/* OCaml LablTk library */ /* */ /* Francois Rouaix, Francois Pessaux and Jun Furuse */ /* projet Cristal, INRIA Rocquencourt */ diff --git a/otherlibs/labltk/support/camltkwrap.ml b/otherlibs/labltk/support/camltkwrap.ml index 5b49b19f0..635349a31 100644 --- a/otherlibs/labltk/support/camltkwrap.ml +++ b/otherlibs/labltk/support/camltkwrap.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) module Widget = struct diff --git a/otherlibs/labltk/support/camltkwrap.mli b/otherlibs/labltk/support/camltkwrap.mli index 1af566d2c..4fc7e3c15 100644 --- a/otherlibs/labltk/support/camltkwrap.mli +++ b/otherlibs/labltk/support/camltkwrap.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) module Widget : sig diff --git a/otherlibs/labltk/support/cltkCaml.c b/otherlibs/labltk/support/cltkCaml.c index c9bcc80dc..f0372f14b 100644 --- a/otherlibs/labltk/support/cltkCaml.c +++ b/otherlibs/labltk/support/cltkCaml.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/cltkDMain.c b/otherlibs/labltk/support/cltkDMain.c index 3d9a4c2df..7edb92a98 100644 --- a/otherlibs/labltk/support/cltkDMain.c +++ b/otherlibs/labltk/support/cltkDMain.c @@ -1,6 +1,6 @@ /*************************************************************************/ /* */ -/* Objective Caml LablTk library */ +/* OCaml LablTk library */ /* */ /* Francois Rouaix, Francois Pessaux and Jun Furuse */ /* projet Cristal, INRIA Rocquencourt */ diff --git a/otherlibs/labltk/support/cltkEval.c b/otherlibs/labltk/support/cltkEval.c index cdd16a914..282d2f44c 100644 --- a/otherlibs/labltk/support/cltkEval.c +++ b/otherlibs/labltk/support/cltkEval.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/cltkEvent.c b/otherlibs/labltk/support/cltkEvent.c index ad9b4d9ed..4507cf694 100644 --- a/otherlibs/labltk/support/cltkEvent.c +++ b/otherlibs/labltk/support/cltkEvent.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/cltkFile.c b/otherlibs/labltk/support/cltkFile.c index 4fbf9868e..b4ebca614 100644 --- a/otherlibs/labltk/support/cltkFile.c +++ b/otherlibs/labltk/support/cltkFile.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/cltkImg.c b/otherlibs/labltk/support/cltkImg.c index d8d5dd3d0..7f47760df 100644 --- a/otherlibs/labltk/support/cltkImg.c +++ b/otherlibs/labltk/support/cltkImg.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ #include <string.h> diff --git a/otherlibs/labltk/support/cltkMain.c b/otherlibs/labltk/support/cltkMain.c index eb4617a45..5886e2cc3 100644 --- a/otherlibs/labltk/support/cltkMain.c +++ b/otherlibs/labltk/support/cltkMain.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/cltkMisc.c b/otherlibs/labltk/support/cltkMisc.c index b19713cda..e5360aa20 100644 --- a/otherlibs/labltk/support/cltkMisc.c +++ b/otherlibs/labltk/support/cltkMisc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/cltkTimer.c b/otherlibs/labltk/support/cltkTimer.c index e0635e850..380dde3ed 100644 --- a/otherlibs/labltk/support/cltkTimer.c +++ b/otherlibs/labltk/support/cltkTimer.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/cltkUtf.c b/otherlibs/labltk/support/cltkUtf.c index fd01bd15a..448e06a1c 100644 --- a/otherlibs/labltk/support/cltkUtf.c +++ b/otherlibs/labltk/support/cltkUtf.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/cltkVar.c b/otherlibs/labltk/support/cltkVar.c index 0411a94cd..96af9d21d 100644 --- a/otherlibs/labltk/support/cltkVar.c +++ b/otherlibs/labltk/support/cltkVar.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/cltkWait.c b/otherlibs/labltk/support/cltkWait.c index 4c126b5d2..a46860b85 100644 --- a/otherlibs/labltk/support/cltkWait.c +++ b/otherlibs/labltk/support/cltkWait.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* MLTk, Tcl/Tk interface of Objective Caml */ +/* MLTk, Tcl/Tk interface of OCaml */ /* */ /* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis */ /* projet Cristal, INRIA Rocquencourt */ @@ -10,7 +10,7 @@ /* en Automatique and Kyoto University. All rights reserved. */ /* This file is distributed under the terms of the GNU Library */ /* General Public License, with the special exception on linking */ -/* described in file LICENSE found in the Objective Caml source tree. */ +/* described in file LICENSE found in the OCaml source tree. */ /* */ /***********************************************************************/ diff --git a/otherlibs/labltk/support/fileevent.ml b/otherlibs/labltk/support/fileevent.ml index 846a7519b..ae1cc261a 100644 --- a/otherlibs/labltk/support/fileevent.ml +++ b/otherlibs/labltk/support/fileevent.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/fileevent.mli b/otherlibs/labltk/support/fileevent.mli index 34760f0c7..f5468ca59 100644 --- a/otherlibs/labltk/support/fileevent.mli +++ b/otherlibs/labltk/support/fileevent.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/protocol.ml b/otherlibs/labltk/support/protocol.ml index 26b97c0bd..28cb4737d 100644 --- a/otherlibs/labltk/support/protocol.ml +++ b/otherlibs/labltk/support/protocol.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/protocol.mli b/otherlibs/labltk/support/protocol.mli index 9b5ae3936..1ce6718a8 100644 --- a/otherlibs/labltk/support/protocol.mli +++ b/otherlibs/labltk/support/protocol.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/rawwidget.ml b/otherlibs/labltk/support/rawwidget.ml index 99b1dce1a..f216df726 100644 --- a/otherlibs/labltk/support/rawwidget.ml +++ b/otherlibs/labltk/support/rawwidget.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/rawwidget.mli b/otherlibs/labltk/support/rawwidget.mli index 4eda7311c..e9f82ef2c 100644 --- a/otherlibs/labltk/support/rawwidget.mli +++ b/otherlibs/labltk/support/rawwidget.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/slave.ml b/otherlibs/labltk/support/slave.ml index 51eae853b..44349c05c 100644 --- a/otherlibs/labltk/support/slave.ml +++ b/otherlibs/labltk/support/slave.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/support.ml b/otherlibs/labltk/support/support.ml index fa650e8a9..7d019967c 100644 --- a/otherlibs/labltk/support/support.ml +++ b/otherlibs/labltk/support/support.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/support.mli b/otherlibs/labltk/support/support.mli index 95a2255cb..fe30208ac 100644 --- a/otherlibs/labltk/support/support.mli +++ b/otherlibs/labltk/support/support.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/textvariable.ml b/otherlibs/labltk/support/textvariable.ml index ad9033d45..4e17a008a 100644 --- a/otherlibs/labltk/support/textvariable.ml +++ b/otherlibs/labltk/support/textvariable.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/textvariable.mli b/otherlibs/labltk/support/textvariable.mli index dfa511a29..f18f6cc86 100644 --- a/otherlibs/labltk/support/textvariable.mli +++ b/otherlibs/labltk/support/textvariable.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/timer.ml b/otherlibs/labltk/support/timer.ml index a6ef8c299..d5bd176aa 100644 --- a/otherlibs/labltk/support/timer.ml +++ b/otherlibs/labltk/support/timer.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/timer.mli b/otherlibs/labltk/support/timer.mli index a45e1c9d2..4b31668c9 100644 --- a/otherlibs/labltk/support/timer.mli +++ b/otherlibs/labltk/support/timer.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/tkthread.ml b/otherlibs/labltk/support/tkthread.ml index ecdf61460..4ae36685c 100644 --- a/otherlibs/labltk/support/tkthread.ml +++ b/otherlibs/labltk/support/tkthread.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* LablTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Jacques Garrigue, Nagoya University Mathematics Dept. *) (* *) @@ -8,7 +8,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/tkthread.mli b/otherlibs/labltk/support/tkthread.mli index 4f20e6140..2bc104da2 100644 --- a/otherlibs/labltk/support/tkthread.mli +++ b/otherlibs/labltk/support/tkthread.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* LablTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Jacques Garrigue, Nagoya University Mathematics Dept. *) (* *) @@ -8,7 +8,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/tkwait.ml b/otherlibs/labltk/support/tkwait.ml index 97a0b0eb8..34f6908de 100644 --- a/otherlibs/labltk/support/tkwait.ml +++ b/otherlibs/labltk/support/tkwait.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/widget.ml b/otherlibs/labltk/support/widget.ml index 65e0d26a9..083e4b96c 100644 --- a/otherlibs/labltk/support/widget.ml +++ b/otherlibs/labltk/support/widget.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/labltk/support/widget.mli b/otherlibs/labltk/support/widget.mli index f9c832783..7761f2f2c 100644 --- a/otherlibs/labltk/support/widget.mli +++ b/otherlibs/labltk/support/widget.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* MLTk, Tcl/Tk interface of Objective Caml *) +(* MLTk, Tcl/Tk interface of OCaml *) (* *) (* Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis *) (* projet Cristal, INRIA Rocquencourt *) @@ -10,7 +10,7 @@ (* en Automatique and Kyoto University. All rights reserved. *) (* This file is distributed under the terms of the GNU Library *) (* General Public License, with the special exception on linking *) -(* described in file LICENSE found in the Objective Caml source tree. *) +(* described in file LICENSE found in the OCaml source tree. *) (* *) (***********************************************************************) diff --git a/otherlibs/num/Makefile b/otherlibs/num/Makefile index 0a4349e80..756aec2b4 100644 --- a/otherlibs/num/Makefile +++ b/otherlibs/num/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/num/Makefile.nt b/otherlibs/num/Makefile.nt index 16103b2b0..9d831657a 100644 --- a/otherlibs/num/Makefile.nt +++ b/otherlibs/num/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/num/arith_flags.ml b/otherlibs/num/arith_flags.ml index 00e2813e6..048d4f8db 100644 --- a/otherlibs/num/arith_flags.ml +++ b/otherlibs/num/arith_flags.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/arith_flags.mli b/otherlibs/num/arith_flags.mli index 36160edb2..653942431 100644 --- a/otherlibs/num/arith_flags.mli +++ b/otherlibs/num/arith_flags.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/arith_status.ml b/otherlibs/num/arith_status.ml index 8b6fa9f72..0f9deb363 100644 --- a/otherlibs/num/arith_status.ml +++ b/otherlibs/num/arith_status.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/arith_status.mli b/otherlibs/num/arith_status.mli index 121b4d575..170e8cd4c 100644 --- a/otherlibs/num/arith_status.mli +++ b/otherlibs/num/arith_status.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/big_int.ml b/otherlibs/num/big_int.ml index b96b8e1f4..34de4b127 100644 --- a/otherlibs/num/big_int.ml +++ b/otherlibs/num/big_int.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/big_int.mli b/otherlibs/num/big_int.mli index 2ac7b7eb6..46621f941 100644 --- a/otherlibs/num/big_int.mli +++ b/otherlibs/num/big_int.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/bng.c b/otherlibs/num/bng.c index 745024700..5bbedb0b4 100644 --- a/otherlibs/num/bng.c +++ b/otherlibs/num/bng.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng.h b/otherlibs/num/bng.h index 6d12c87cb..19f2e2b9c 100644 --- a/otherlibs/num/bng.h +++ b/otherlibs/num/bng.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_alpha.c b/otherlibs/num/bng_alpha.c index 5bf964b58..b888df4c0 100644 --- a/otherlibs/num/bng_alpha.c +++ b/otherlibs/num/bng_alpha.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_amd64.c b/otherlibs/num/bng_amd64.c index e829eef23..ecf9f2535 100644 --- a/otherlibs/num/bng_amd64.c +++ b/otherlibs/num/bng_amd64.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_digit.c b/otherlibs/num/bng_digit.c index 168b44ad3..e429197c2 100644 --- a/otherlibs/num/bng_digit.c +++ b/otherlibs/num/bng_digit.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_ia32.c b/otherlibs/num/bng_ia32.c index bbca8e9dc..b4981cd48 100644 --- a/otherlibs/num/bng_ia32.c +++ b/otherlibs/num/bng_ia32.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_mips.c b/otherlibs/num/bng_mips.c index f246843cb..92ec2c03e 100644 --- a/otherlibs/num/bng_mips.c +++ b/otherlibs/num/bng_mips.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/bng_ppc.c b/otherlibs/num/bng_ppc.c index 32d573cd0..6bbf108e9 100644 --- a/otherlibs/num/bng_ppc.c +++ b/otherlibs/num/bng_ppc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ @@ -91,4 +91,4 @@ "mulhwu %1, %2, %3" \ : "=&r" (resl), "=r" (resh) \ : "r" (arg1), "r" (arg2)) -#endif
\ No newline at end of file +#endif diff --git a/otherlibs/num/bng_sparc.c b/otherlibs/num/bng_sparc.c index 934c0b2f7..4e46a316a 100644 --- a/otherlibs/num/bng_sparc.c +++ b/otherlibs/num/bng_sparc.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/int_misc.ml b/otherlibs/num/int_misc.ml index b7eb4c67d..99713b916 100644 --- a/otherlibs/num/int_misc.ml +++ b/otherlibs/num/int_misc.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/int_misc.mli b/otherlibs/num/int_misc.mli index 28bb335b8..7f465c5ad 100644 --- a/otherlibs/num/int_misc.mli +++ b/otherlibs/num/int_misc.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/nat.h b/otherlibs/num/nat.h index 7f67b916a..62c7ac988 100644 --- a/otherlibs/num/nat.h +++ b/otherlibs/num/nat.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/nat.ml b/otherlibs/num/nat.ml index cda80d5d4..44742a213 100644 --- a/otherlibs/num/nat.ml +++ b/otherlibs/num/nat.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/nat.mli b/otherlibs/num/nat.mli index 3b32ac8dc..39f1c5908 100644 --- a/otherlibs/num/nat.mli +++ b/otherlibs/num/nat.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/nat_stubs.c b/otherlibs/num/nat_stubs.c index d56ee2ddb..521585165 100644 --- a/otherlibs/num/nat_stubs.c +++ b/otherlibs/num/nat_stubs.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/num/num.ml b/otherlibs/num/num.ml index 52fe8cc0e..4ede5ee49 100644 --- a/otherlibs/num/num.ml +++ b/otherlibs/num/num.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/num.mli b/otherlibs/num/num.mli index 8bf3d4e6e..1d421ff29 100644 --- a/otherlibs/num/num.mli +++ b/otherlibs/num/num.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/ratio.ml b/otherlibs/num/ratio.ml index 7885df15d..fe0170f29 100644 --- a/otherlibs/num/ratio.ml +++ b/otherlibs/num/ratio.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/num/ratio.mli b/otherlibs/num/ratio.mli index 12621f08a..60c0f66db 100644 --- a/otherlibs/num/ratio.mli +++ b/otherlibs/num/ratio.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Valerie Menissier-Morain, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/str/Makefile b/otherlibs/str/Makefile index b6c16a076..e36000e4a 100644 --- a/otherlibs/str/Makefile +++ b/otherlibs/str/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/str/Makefile.nt b/otherlibs/str/Makefile.nt index 5aeff80b2..b0420b39b 100644 --- a/otherlibs/str/Makefile.nt +++ b/otherlibs/str/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/str/str.ml b/otherlibs/str/str.ml index f3f760acb..5d53168fd 100644 --- a/otherlibs/str/str.ml +++ b/otherlibs/str/str.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/str/str.mli b/otherlibs/str/str.mli index b63faf845..a4d65b6ae 100644 --- a/otherlibs/str/str.mli +++ b/otherlibs/str/str.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/str/strstubs.c b/otherlibs/str/strstubs.c index b8d53ff8f..fc2f46f8e 100644 --- a/otherlibs/str/strstubs.c +++ b/otherlibs/str/strstubs.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/systhreads/Makefile b/otherlibs/systhreads/Makefile index f5c80c0e2..fbdd89946 100644 --- a/otherlibs/systhreads/Makefile +++ b/otherlibs/systhreads/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/systhreads/Makefile.nt b/otherlibs/systhreads/Makefile.nt index 8c559e0b6..8cc9dd264 100644 --- a/otherlibs/systhreads/Makefile.nt +++ b/otherlibs/systhreads/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/systhreads/condition.ml b/otherlibs/systhreads/condition.ml index 6549c642d..6bdac6a36 100644 --- a/otherlibs/systhreads/condition.ml +++ b/otherlibs/systhreads/condition.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* OCaml *) (* *) (* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/condition.mli b/otherlibs/systhreads/condition.mli index 5bc9d6740..d13b30d86 100644 --- a/otherlibs/systhreads/condition.mli +++ b/otherlibs/systhreads/condition.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/event.ml b/otherlibs/systhreads/event.ml index 74f457b06..ff137e981 100644 --- a/otherlibs/systhreads/event.ml +++ b/otherlibs/systhreads/event.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* David Nowak and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/event.mli b/otherlibs/systhreads/event.mli index 08d6b0bf6..11842e5ad 100644 --- a/otherlibs/systhreads/event.mli +++ b/otherlibs/systhreads/event.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* David Nowak and Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/mutex.ml b/otherlibs/systhreads/mutex.ml index 4e108f4a9..5e9cc886c 100644 --- a/otherlibs/systhreads/mutex.ml +++ b/otherlibs/systhreads/mutex.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* OCaml *) (* *) (* Xavier Leroy and Pascal Cuoq, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/mutex.mli b/otherlibs/systhreads/mutex.mli index b1fe14135..844d4e5d4 100644 --- a/otherlibs/systhreads/mutex.mli +++ b/otherlibs/systhreads/mutex.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Damien Doligez, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/st_posix.h b/otherlibs/systhreads/st_posix.h index 165d8a367..68ac00ddf 100644 --- a/otherlibs/systhreads/st_posix.h +++ b/otherlibs/systhreads/st_posix.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/systhreads/st_stubs.c b/otherlibs/systhreads/st_stubs.c index 54cbb4e8c..6435aebf3 100644 --- a/otherlibs/systhreads/st_stubs.c +++ b/otherlibs/systhreads/st_stubs.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/systhreads/st_win32.h b/otherlibs/systhreads/st_win32.h index e3e37c8c2..4b5755ec3 100644 --- a/otherlibs/systhreads/st_win32.h +++ b/otherlibs/systhreads/st_win32.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/systhreads/thread.ml b/otherlibs/systhreads/thread.ml index 18cc819bb..f66396e85 100644 --- a/otherlibs/systhreads/thread.ml +++ b/otherlibs/systhreads/thread.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/thread.mli b/otherlibs/systhreads/thread.mli index 3c2fc01b5..42d18e635 100644 --- a/otherlibs/systhreads/thread.mli +++ b/otherlibs/systhreads/thread.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/threadUnix.ml b/otherlibs/systhreads/threadUnix.ml index 71855ec69..d4b6fd59f 100644 --- a/otherlibs/systhreads/threadUnix.ml +++ b/otherlibs/systhreads/threadUnix.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/threadUnix.mli b/otherlibs/systhreads/threadUnix.mli index c05346fef..9c7e76e56 100644 --- a/otherlibs/systhreads/threadUnix.mli +++ b/otherlibs/systhreads/threadUnix.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/systhreads/threads.h b/otherlibs/systhreads/threads.h index 746624256..a0a407835 100644 --- a/otherlibs/systhreads/threads.h +++ b/otherlibs/systhreads/threads.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Damien Doligez, INRIA Rocquencourt */ /* */ 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 *) (* *) diff --git a/otherlibs/unix/Makefile b/otherlibs/unix/Makefile index be7234969..5a11b5c2c 100644 --- a/otherlibs/unix/Makefile +++ b/otherlibs/unix/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/unix/accept.c b/otherlibs/unix/accept.c index a6e80f064..7b2688f03 100644 --- a/otherlibs/unix/accept.c +++ b/otherlibs/unix/accept.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/access.c b/otherlibs/unix/access.c index 0c0c5fc1a..813c0634a 100644 --- a/otherlibs/unix/access.c +++ b/otherlibs/unix/access.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/addrofstr.c b/otherlibs/unix/addrofstr.c index 6947d66f1..217397b50 100644 --- a/otherlibs/unix/addrofstr.c +++ b/otherlibs/unix/addrofstr.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/alarm.c b/otherlibs/unix/alarm.c index 55e4d6cf8..6275e2556 100644 --- a/otherlibs/unix/alarm.c +++ b/otherlibs/unix/alarm.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/bind.c b/otherlibs/unix/bind.c index 85cf1d28a..a6999a9f4 100644 --- a/otherlibs/unix/bind.c +++ b/otherlibs/unix/bind.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/chdir.c b/otherlibs/unix/chdir.c index 7901eca0e..2788c5054 100644 --- a/otherlibs/unix/chdir.c +++ b/otherlibs/unix/chdir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/chmod.c b/otherlibs/unix/chmod.c index dff837223..f01d7e85b 100644 --- a/otherlibs/unix/chmod.c +++ b/otherlibs/unix/chmod.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/chown.c b/otherlibs/unix/chown.c index bfd164008..72002e936 100644 --- a/otherlibs/unix/chown.c +++ b/otherlibs/unix/chown.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/chroot.c b/otherlibs/unix/chroot.c index 24f49877d..879d0662f 100644 --- a/otherlibs/unix/chroot.c +++ b/otherlibs/unix/chroot.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/close.c b/otherlibs/unix/close.c index 27e1937df..0aaf74bd9 100644 --- a/otherlibs/unix/close.c +++ b/otherlibs/unix/close.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/closedir.c b/otherlibs/unix/closedir.c index b2fd51357..a6440efa4 100644 --- a/otherlibs/unix/closedir.c +++ b/otherlibs/unix/closedir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/connect.c b/otherlibs/unix/connect.c index 669c347f3..a17a89ffc 100644 --- a/otherlibs/unix/connect.c +++ b/otherlibs/unix/connect.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/cst2constr.c b/otherlibs/unix/cst2constr.c index 9035160dc..8ce4d3f0d 100644 --- a/otherlibs/unix/cst2constr.c +++ b/otherlibs/unix/cst2constr.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/cst2constr.h b/otherlibs/unix/cst2constr.h index 3cb1c1182..e1c61a0c5 100644 --- a/otherlibs/unix/cst2constr.h +++ b/otherlibs/unix/cst2constr.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/cstringv.c b/otherlibs/unix/cstringv.c index 0e37914d8..5c83b59e4 100644 --- a/otherlibs/unix/cstringv.c +++ b/otherlibs/unix/cstringv.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/dup.c b/otherlibs/unix/dup.c index 5935d0b44..f78d9369d 100644 --- a/otherlibs/unix/dup.c +++ b/otherlibs/unix/dup.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/dup2.c b/otherlibs/unix/dup2.c index beb987133..412315891 100644 --- a/otherlibs/unix/dup2.c +++ b/otherlibs/unix/dup2.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/envir.c b/otherlibs/unix/envir.c index 1df842c59..020edf0cf 100644 --- a/otherlibs/unix/envir.c +++ b/otherlibs/unix/envir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/errmsg.c b/otherlibs/unix/errmsg.c index ae8793e19..6cf82d633 100644 --- a/otherlibs/unix/errmsg.c +++ b/otherlibs/unix/errmsg.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/execv.c b/otherlibs/unix/execv.c index bc0330b35..51eabc712 100644 --- a/otherlibs/unix/execv.c +++ b/otherlibs/unix/execv.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/execve.c b/otherlibs/unix/execve.c index 4d29fb55b..00ab6af4c 100644 --- a/otherlibs/unix/execve.c +++ b/otherlibs/unix/execve.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/execvp.c b/otherlibs/unix/execvp.c index 6d03a29ea..db77d4134 100644 --- a/otherlibs/unix/execvp.c +++ b/otherlibs/unix/execvp.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/exit.c b/otherlibs/unix/exit.c index 8f1df6d53..88fc01254 100644 --- a/otherlibs/unix/exit.c +++ b/otherlibs/unix/exit.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/fchmod.c b/otherlibs/unix/fchmod.c index a90de6ef1..b2d49dcd4 100644 --- a/otherlibs/unix/fchmod.c +++ b/otherlibs/unix/fchmod.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/fchown.c b/otherlibs/unix/fchown.c index 29683a5c7..e2c934ae0 100644 --- a/otherlibs/unix/fchown.c +++ b/otherlibs/unix/fchown.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/fcntl.c b/otherlibs/unix/fcntl.c index a0891b2c3..58f7df756 100644 --- a/otherlibs/unix/fcntl.c +++ b/otherlibs/unix/fcntl.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/fork.c b/otherlibs/unix/fork.c index 74ec6294d..80b443551 100644 --- a/otherlibs/unix/fork.c +++ b/otherlibs/unix/fork.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/ftruncate.c b/otherlibs/unix/ftruncate.c index 661640e35..5eaa166fb 100644 --- a/otherlibs/unix/ftruncate.c +++ b/otherlibs/unix/ftruncate.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getaddrinfo.c b/otherlibs/unix/getaddrinfo.c index adc54998a..34cf8280c 100644 --- a/otherlibs/unix/getaddrinfo.c +++ b/otherlibs/unix/getaddrinfo.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getcwd.c b/otherlibs/unix/getcwd.c index 7c735b68d..f3ff97114 100644 --- a/otherlibs/unix/getcwd.c +++ b/otherlibs/unix/getcwd.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getegid.c b/otherlibs/unix/getegid.c index 02beaf124..9c6097ef5 100644 --- a/otherlibs/unix/getegid.c +++ b/otherlibs/unix/getegid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/geteuid.c b/otherlibs/unix/geteuid.c index 7c9f660af..55e076380 100644 --- a/otherlibs/unix/geteuid.c +++ b/otherlibs/unix/geteuid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getgid.c b/otherlibs/unix/getgid.c index d0ed4bff7..a3039d56c 100644 --- a/otherlibs/unix/getgid.c +++ b/otherlibs/unix/getgid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getgr.c b/otherlibs/unix/getgr.c index eefaa5979..7b212bd27 100644 --- a/otherlibs/unix/getgr.c +++ b/otherlibs/unix/getgr.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getgroups.c b/otherlibs/unix/getgroups.c index 4d34d5be9..485fabc45 100644 --- a/otherlibs/unix/getgroups.c +++ b/otherlibs/unix/getgroups.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/gethost.c b/otherlibs/unix/gethost.c index 36fdfd8ef..b0b29d9e0 100644 --- a/otherlibs/unix/gethost.c +++ b/otherlibs/unix/gethost.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/gethostname.c b/otherlibs/unix/gethostname.c index f84f8f5b5..cf334e9b8 100644 --- a/otherlibs/unix/gethostname.c +++ b/otherlibs/unix/gethostname.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getlogin.c b/otherlibs/unix/getlogin.c index 132ed443a..60197a07b 100644 --- a/otherlibs/unix/getlogin.c +++ b/otherlibs/unix/getlogin.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getnameinfo.c b/otherlibs/unix/getnameinfo.c index c88785699..eea15c59c 100644 --- a/otherlibs/unix/getnameinfo.c +++ b/otherlibs/unix/getnameinfo.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getpeername.c b/otherlibs/unix/getpeername.c index 20a837ca1..3c4da5567 100644 --- a/otherlibs/unix/getpeername.c +++ b/otherlibs/unix/getpeername.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getpid.c b/otherlibs/unix/getpid.c index cb522749d..5cc4f3a68 100644 --- a/otherlibs/unix/getpid.c +++ b/otherlibs/unix/getpid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getppid.c b/otherlibs/unix/getppid.c index 0d69aafb4..2d1cd3949 100644 --- a/otherlibs/unix/getppid.c +++ b/otherlibs/unix/getppid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getproto.c b/otherlibs/unix/getproto.c index c9ca1a5c9..0213e8795 100644 --- a/otherlibs/unix/getproto.c +++ b/otherlibs/unix/getproto.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getpw.c b/otherlibs/unix/getpw.c index eba9d6c3c..4317dc202 100644 --- a/otherlibs/unix/getpw.c +++ b/otherlibs/unix/getpw.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getserv.c b/otherlibs/unix/getserv.c index e252aacb7..626f63b8a 100644 --- a/otherlibs/unix/getserv.c +++ b/otherlibs/unix/getserv.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getsockname.c b/otherlibs/unix/getsockname.c index 6f0b64dcd..8ab6debb0 100644 --- a/otherlibs/unix/getsockname.c +++ b/otherlibs/unix/getsockname.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/gettimeofday.c b/otherlibs/unix/gettimeofday.c index e095326e6..3e203d54e 100644 --- a/otherlibs/unix/gettimeofday.c +++ b/otherlibs/unix/gettimeofday.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/getuid.c b/otherlibs/unix/getuid.c index 780a8d8ec..db3fab130 100644 --- a/otherlibs/unix/getuid.c +++ b/otherlibs/unix/getuid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/gmtime.c b/otherlibs/unix/gmtime.c index 2ffeb3927..b55d70f4d 100644 --- a/otherlibs/unix/gmtime.c +++ b/otherlibs/unix/gmtime.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/initgroups.c b/otherlibs/unix/initgroups.c index df358dae1..d5b3dc568 100644 --- a/otherlibs/unix/initgroups.c +++ b/otherlibs/unix/initgroups.c @@ -1,6 +1,8 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ +/* */ +/* Contributed by Stephane Glondu <steph@glondu.net> */ /* */ /* Copyright 2009 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ @@ -9,8 +11,6 @@ /* */ /***********************************************************************/ -/* Contributed by Stephane Glondu <steph@glondu.net> */ - /* $Id$ */ #include <mlvalues.h> diff --git a/otherlibs/unix/isatty.c b/otherlibs/unix/isatty.c index f534dd773..c2bdaad1c 100644 --- a/otherlibs/unix/isatty.c +++ b/otherlibs/unix/isatty.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Gallium, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/itimer.c b/otherlibs/unix/itimer.c index 14bac626a..7c32783a9 100644 --- a/otherlibs/unix/itimer.c +++ b/otherlibs/unix/itimer.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/kill.c b/otherlibs/unix/kill.c index 8d8a47340..715060ee7 100644 --- a/otherlibs/unix/kill.c +++ b/otherlibs/unix/kill.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/link.c b/otherlibs/unix/link.c index 181e9c180..e28f649ea 100644 --- a/otherlibs/unix/link.c +++ b/otherlibs/unix/link.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/listen.c b/otherlibs/unix/listen.c index 2f40cfbaf..503cf6a6a 100644 --- a/otherlibs/unix/listen.c +++ b/otherlibs/unix/listen.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/lockf.c b/otherlibs/unix/lockf.c index 6e6ce5c17..70359cf76 100644 --- a/otherlibs/unix/lockf.c +++ b/otherlibs/unix/lockf.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/lseek.c b/otherlibs/unix/lseek.c index d8180eaea..65d7d50e4 100644 --- a/otherlibs/unix/lseek.c +++ b/otherlibs/unix/lseek.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/mkdir.c b/otherlibs/unix/mkdir.c index 1b8fd6242..fd935ae67 100644 --- a/otherlibs/unix/mkdir.c +++ b/otherlibs/unix/mkdir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/mkfifo.c b/otherlibs/unix/mkfifo.c index 3e2cf3ddb..30f247d90 100644 --- a/otherlibs/unix/mkfifo.c +++ b/otherlibs/unix/mkfifo.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/nice.c b/otherlibs/unix/nice.c index 77def267c..a0902f230 100644 --- a/otherlibs/unix/nice.c +++ b/otherlibs/unix/nice.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/open.c b/otherlibs/unix/open.c index 421218308..39c7328f9 100644 --- a/otherlibs/unix/open.c +++ b/otherlibs/unix/open.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/opendir.c b/otherlibs/unix/opendir.c index 0497ef1f4..bb4825812 100644 --- a/otherlibs/unix/opendir.c +++ b/otherlibs/unix/opendir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/pipe.c b/otherlibs/unix/pipe.c index b68705e9f..81baeaf4e 100644 --- a/otherlibs/unix/pipe.c +++ b/otherlibs/unix/pipe.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/putenv.c b/otherlibs/unix/putenv.c index e403d2966..0fc5534f5 100644 --- a/otherlibs/unix/putenv.c +++ b/otherlibs/unix/putenv.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/read.c b/otherlibs/unix/read.c index 03a9e6aaa..cd1eab8cf 100644 --- a/otherlibs/unix/read.c +++ b/otherlibs/unix/read.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/readdir.c b/otherlibs/unix/readdir.c index fb8a67b20..1d508ac6e 100644 --- a/otherlibs/unix/readdir.c +++ b/otherlibs/unix/readdir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/readlink.c b/otherlibs/unix/readlink.c index d2b9c4e12..29d28d3d4 100644 --- a/otherlibs/unix/readlink.c +++ b/otherlibs/unix/readlink.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/rename.c b/otherlibs/unix/rename.c index 65f33c8b5..d121037f2 100644 --- a/otherlibs/unix/rename.c +++ b/otherlibs/unix/rename.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/rewinddir.c b/otherlibs/unix/rewinddir.c index d14c526d9..7c7b4a3c8 100644 --- a/otherlibs/unix/rewinddir.c +++ b/otherlibs/unix/rewinddir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/rmdir.c b/otherlibs/unix/rmdir.c index 8de223464..887496712 100644 --- a/otherlibs/unix/rmdir.c +++ b/otherlibs/unix/rmdir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/select.c b/otherlibs/unix/select.c index 612d59701..049383986 100644 --- a/otherlibs/unix/select.c +++ b/otherlibs/unix/select.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/sendrecv.c b/otherlibs/unix/sendrecv.c index bb3989af7..1f884aa87 100644 --- a/otherlibs/unix/sendrecv.c +++ b/otherlibs/unix/sendrecv.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/setgid.c b/otherlibs/unix/setgid.c index bd8810f81..a1096f26b 100644 --- a/otherlibs/unix/setgid.c +++ b/otherlibs/unix/setgid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/setgroups.c b/otherlibs/unix/setgroups.c index dd4592ad0..e681c9764 100644 --- a/otherlibs/unix/setgroups.c +++ b/otherlibs/unix/setgroups.c @@ -1,6 +1,8 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ +/* */ +/* Contributed by Stephane Glondu <steph@glondu.net> */ /* */ /* Copyright 2009 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ @@ -9,8 +11,6 @@ /* */ /***********************************************************************/ -/* Contributed by Stephane Glondu <steph@glondu.net> */ - /* $Id$ */ #include <mlvalues.h> diff --git a/otherlibs/unix/setsid.c b/otherlibs/unix/setsid.c index bfa9dac0b..9cc89e642 100644 --- a/otherlibs/unix/setsid.c +++ b/otherlibs/unix/setsid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/setuid.c b/otherlibs/unix/setuid.c index c867f4c68..4af0d781c 100644 --- a/otherlibs/unix/setuid.c +++ b/otherlibs/unix/setuid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/shutdown.c b/otherlibs/unix/shutdown.c index d51b1a3de..abd8c0734 100644 --- a/otherlibs/unix/shutdown.c +++ b/otherlibs/unix/shutdown.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/signals.c b/otherlibs/unix/signals.c index c388b1393..fb3acf00b 100644 --- a/otherlibs/unix/signals.c +++ b/otherlibs/unix/signals.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/sleep.c b/otherlibs/unix/sleep.c index ec14e39d0..aca1003c5 100644 --- a/otherlibs/unix/sleep.c +++ b/otherlibs/unix/sleep.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/socket.c b/otherlibs/unix/socket.c index 82f6329c0..7243b8f15 100644 --- a/otherlibs/unix/socket.c +++ b/otherlibs/unix/socket.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/socketaddr.c b/otherlibs/unix/socketaddr.c index f285d15a7..caf83b785 100644 --- a/otherlibs/unix/socketaddr.c +++ b/otherlibs/unix/socketaddr.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/socketaddr.h b/otherlibs/unix/socketaddr.h index 79bc80fa7..43d7e91b4 100644 --- a/otherlibs/unix/socketaddr.h +++ b/otherlibs/unix/socketaddr.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/socketpair.c b/otherlibs/unix/socketpair.c index df4dcff03..8a52dbb81 100644 --- a/otherlibs/unix/socketpair.c +++ b/otherlibs/unix/socketpair.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/sockopt.c b/otherlibs/unix/sockopt.c index 31c95c1f5..6b3bfa4a4 100644 --- a/otherlibs/unix/sockopt.c +++ b/otherlibs/unix/sockopt.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/stat.c b/otherlibs/unix/stat.c index 9cd000063..17ae53c0b 100644 --- a/otherlibs/unix/stat.c +++ b/otherlibs/unix/stat.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/strofaddr.c b/otherlibs/unix/strofaddr.c index ad9ea1911..a2c8cdc73 100644 --- a/otherlibs/unix/strofaddr.c +++ b/otherlibs/unix/strofaddr.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/symlink.c b/otherlibs/unix/symlink.c index 6085fd516..b66c76bda 100644 --- a/otherlibs/unix/symlink.c +++ b/otherlibs/unix/symlink.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/termios.c b/otherlibs/unix/termios.c index ce49d77e0..99cca2b64 100644 --- a/otherlibs/unix/termios.c +++ b/otherlibs/unix/termios.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/time.c b/otherlibs/unix/time.c index 2fdf4978e..63eac84eb 100644 --- a/otherlibs/unix/time.c +++ b/otherlibs/unix/time.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/times.c b/otherlibs/unix/times.c index aa32f10db..94abde8a6 100644 --- a/otherlibs/unix/times.c +++ b/otherlibs/unix/times.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/truncate.c b/otherlibs/unix/truncate.c index c23eb47b5..dfc350a32 100644 --- a/otherlibs/unix/truncate.c +++ b/otherlibs/unix/truncate.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/umask.c b/otherlibs/unix/umask.c index 6f5d14fd0..cf5eaa7c0 100644 --- a/otherlibs/unix/umask.c +++ b/otherlibs/unix/umask.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/unix.ml b/otherlibs/unix/unix.ml index 8de827b0c..eda85de0f 100644 --- a/otherlibs/unix/unix.ml +++ b/otherlibs/unix/unix.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/unix/unix.mli b/otherlibs/unix/unix.mli index 614c206f2..38d1b9659 100644 --- a/otherlibs/unix/unix.mli +++ b/otherlibs/unix/unix.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/unix/unixLabels.ml b/otherlibs/unix/unixLabels.ml index 683f15ec6..424fcc6e6 100644 --- a/otherlibs/unix/unixLabels.ml +++ b/otherlibs/unix/unixLabels.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jacques Garrigue, Kyoto University RIMS *) (* *) diff --git a/otherlibs/unix/unixLabels.mli b/otherlibs/unix/unixLabels.mli index 7126d23e7..702a656a4 100644 --- a/otherlibs/unix/unixLabels.mli +++ b/otherlibs/unix/unixLabels.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/unix/unixsupport.c b/otherlibs/unix/unixsupport.c index c6eaf706c..3138115a6 100644 --- a/otherlibs/unix/unixsupport.c +++ b/otherlibs/unix/unixsupport.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/unixsupport.h b/otherlibs/unix/unixsupport.h index 84179f43f..a90bb2dcf 100644 --- a/otherlibs/unix/unixsupport.h +++ b/otherlibs/unix/unixsupport.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/unlink.c b/otherlibs/unix/unlink.c index 1d956758b..3fb5151be 100644 --- a/otherlibs/unix/unlink.c +++ b/otherlibs/unix/unlink.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/utimes.c b/otherlibs/unix/utimes.c index da2913570..a6a2f5ebc 100644 --- a/otherlibs/unix/utimes.c +++ b/otherlibs/unix/utimes.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/wait.c b/otherlibs/unix/wait.c index 486d06af7..fc12e5ad5 100644 --- a/otherlibs/unix/wait.c +++ b/otherlibs/unix/wait.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/unix/write.c b/otherlibs/unix/write.c index 9ddf74e3d..ca42d1e75 100644 --- a/otherlibs/unix/write.c +++ b/otherlibs/unix/write.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32graph/Makefile.nt b/otherlibs/win32graph/Makefile.nt index 12e3d2392..453d9f3c8 100644 --- a/otherlibs/win32graph/Makefile.nt +++ b/otherlibs/win32graph/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/win32graph/dib.c b/otherlibs/win32graph/dib.c index cbf4725a4..8acba6f13 100644 --- a/otherlibs/win32graph/dib.c +++ b/otherlibs/win32graph/dib.c @@ -1,8 +1,9 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Developed by Jacob Navia */ +/* */ /* Copyright 2001 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ /* under the terms of the GNU Library General Public License, with */ diff --git a/otherlibs/win32graph/draw.c b/otherlibs/win32graph/draw.c index 4bd60812a..f089a01a3 100644 --- a/otherlibs/win32graph/draw.c +++ b/otherlibs/win32graph/draw.c @@ -1,8 +1,9 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Developed by Jacob Navia, based on code by J-M Geffroy and X Leroy */ +/* */ /* Copyright 2001 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ /* under the terms of the GNU Library General Public License, with */ diff --git a/otherlibs/win32graph/events.c b/otherlibs/win32graph/events.c index 9e0791c38..29def467f 100755 --- a/otherlibs/win32graph/events.c +++ b/otherlibs/win32graph/events.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32graph/libgraph.h b/otherlibs/win32graph/libgraph.h index 6c32f15df..96ac954e7 100644 --- a/otherlibs/win32graph/libgraph.h +++ b/otherlibs/win32graph/libgraph.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Jacob Navia, after Xavier Leroy */ /* */ diff --git a/otherlibs/win32graph/open.c b/otherlibs/win32graph/open.c index 2797bc669..8ffe259e5 100644 --- a/otherlibs/win32graph/open.c +++ b/otherlibs/win32graph/open.c @@ -1,8 +1,9 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Developed by Jacob Navia, based on code by J-M Geffroy and X Leroy */ +/* */ /* Copyright 2001 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ /* under the terms of the GNU Library General Public License, with */ diff --git a/otherlibs/win32unix/Makefile.nt b/otherlibs/win32unix/Makefile.nt index 0d98b3169..80fcbf35b 100644 --- a/otherlibs/win32unix/Makefile.nt +++ b/otherlibs/win32unix/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/otherlibs/win32unix/accept.c b/otherlibs/win32unix/accept.c index 1d54b89b3..48d028790 100644 --- a/otherlibs/win32unix/accept.c +++ b/otherlibs/win32unix/accept.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/bind.c b/otherlibs/win32unix/bind.c index fca969489..84d07570c 100644 --- a/otherlibs/win32unix/bind.c +++ b/otherlibs/win32unix/bind.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/channels.c b/otherlibs/win32unix/channels.c index 56a19c7dc..2a3774d90 100644 --- a/otherlibs/win32unix/channels.c +++ b/otherlibs/win32unix/channels.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/close.c b/otherlibs/win32unix/close.c index 21254ef1e..f7463690b 100644 --- a/otherlibs/win32unix/close.c +++ b/otherlibs/win32unix/close.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/close_on.c b/otherlibs/win32unix/close_on.c index 5b2c4ece3..b64dd44dd 100644 --- a/otherlibs/win32unix/close_on.c +++ b/otherlibs/win32unix/close_on.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/connect.c b/otherlibs/win32unix/connect.c index 198d02e2d..bd342a2ea 100644 --- a/otherlibs/win32unix/connect.c +++ b/otherlibs/win32unix/connect.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/createprocess.c b/otherlibs/win32unix/createprocess.c index 042eaef9e..714513cac 100644 --- a/otherlibs/win32unix/createprocess.c +++ b/otherlibs/win32unix/createprocess.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/dup.c b/otherlibs/win32unix/dup.c index 2668e75bf..a86211bbb 100644 --- a/otherlibs/win32unix/dup.c +++ b/otherlibs/win32unix/dup.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/dup2.c b/otherlibs/win32unix/dup2.c index 3f6d37e76..f224fc54e 100644 --- a/otherlibs/win32unix/dup2.c +++ b/otherlibs/win32unix/dup2.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/errmsg.c b/otherlibs/win32unix/errmsg.c index 9ce9dddb2..1f07e514f 100644 --- a/otherlibs/win32unix/errmsg.c +++ b/otherlibs/win32unix/errmsg.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/getpeername.c b/otherlibs/win32unix/getpeername.c index 9aeb4c21b..8517f5467 100644 --- a/otherlibs/win32unix/getpeername.c +++ b/otherlibs/win32unix/getpeername.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/getpid.c b/otherlibs/win32unix/getpid.c index 0892f8f95..677acdc55 100644 --- a/otherlibs/win32unix/getpid.c +++ b/otherlibs/win32unix/getpid.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/getsockname.c b/otherlibs/win32unix/getsockname.c index 88487a43b..3af6c3412 100644 --- a/otherlibs/win32unix/getsockname.c +++ b/otherlibs/win32unix/getsockname.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/gettimeofday.c b/otherlibs/win32unix/gettimeofday.c index f1313f061..b68eeb1ad 100644 --- a/otherlibs/win32unix/gettimeofday.c +++ b/otherlibs/win32unix/gettimeofday.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/link.c b/otherlibs/win32unix/link.c index 892143423..05320491e 100644 --- a/otherlibs/win32unix/link.c +++ b/otherlibs/win32unix/link.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* File contributed by Lionel Fourquaux */ /* */ diff --git a/otherlibs/win32unix/listen.c b/otherlibs/win32unix/listen.c index 20789e1a4..402247fd0 100644 --- a/otherlibs/win32unix/listen.c +++ b/otherlibs/win32unix/listen.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/lockf.c b/otherlibs/win32unix/lockf.c index 524f9516b..1a47824dc 100644 --- a/otherlibs/win32unix/lockf.c +++ b/otherlibs/win32unix/lockf.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Contributed by Tracy Camp, PolyServe Inc., <campt@polyserve.com> */ /* Further improvements by Reed Wilson */ diff --git a/otherlibs/win32unix/lseek.c b/otherlibs/win32unix/lseek.c index 9619fcc92..86ea537dc 100644 --- a/otherlibs/win32unix/lseek.c +++ b/otherlibs/win32unix/lseek.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/mkdir.c b/otherlibs/win32unix/mkdir.c index aae54783b..d47d7a28b 100644 --- a/otherlibs/win32unix/mkdir.c +++ b/otherlibs/win32unix/mkdir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/nonblock.c b/otherlibs/win32unix/nonblock.c index 1bf80bfc7..8df1048d5 100755 --- a/otherlibs/win32unix/nonblock.c +++ b/otherlibs/win32unix/nonblock.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/open.c b/otherlibs/win32unix/open.c index f2f334bbb..4f90ed761 100644 --- a/otherlibs/win32unix/open.c +++ b/otherlibs/win32unix/open.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/pipe.c b/otherlibs/win32unix/pipe.c index afacd3e17..ca0df3699 100644 --- a/otherlibs/win32unix/pipe.c +++ b/otherlibs/win32unix/pipe.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/read.c b/otherlibs/win32unix/read.c index 67882eb77..c885857bf 100644 --- a/otherlibs/win32unix/read.c +++ b/otherlibs/win32unix/read.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/rename.c b/otherlibs/win32unix/rename.c index 9ab43fca8..6b750eba3 100644 --- a/otherlibs/win32unix/rename.c +++ b/otherlibs/win32unix/rename.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Contributed by Tracy Camp, PolyServe Inc., <campt@polyserve.com> */ /* */ diff --git a/otherlibs/win32unix/select.c b/otherlibs/win32unix/select.c index b82c423cc..d96c3d9d2 100644 --- a/otherlibs/win32unix/select.c +++ b/otherlibs/win32unix/select.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Contributed by Sylvain Le Gall for Lexifi */ /* */ diff --git a/otherlibs/win32unix/sendrecv.c b/otherlibs/win32unix/sendrecv.c index 855957bd4..8837c9994 100644 --- a/otherlibs/win32unix/sendrecv.c +++ b/otherlibs/win32unix/sendrecv.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/shutdown.c b/otherlibs/win32unix/shutdown.c index f3d2c6e03..dd4e7ed34 100644 --- a/otherlibs/win32unix/shutdown.c +++ b/otherlibs/win32unix/shutdown.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/sleep.c b/otherlibs/win32unix/sleep.c index 421e5f902..682096728 100644 --- a/otherlibs/win32unix/sleep.c +++ b/otherlibs/win32unix/sleep.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/socket.c b/otherlibs/win32unix/socket.c index 3cd55ec29..abdab25f3 100644 --- a/otherlibs/win32unix/socket.c +++ b/otherlibs/win32unix/socket.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/socketaddr.h b/otherlibs/win32unix/socketaddr.h index 8abc63b47..3d2c66754 100644 --- a/otherlibs/win32unix/socketaddr.h +++ b/otherlibs/win32unix/socketaddr.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/sockopt.c b/otherlibs/win32unix/sockopt.c index f82d810e6..94a6c0402 100644 --- a/otherlibs/win32unix/sockopt.c +++ b/otherlibs/win32unix/sockopt.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/startup.c b/otherlibs/win32unix/startup.c index 8417e1366..8d4def6cb 100644 --- a/otherlibs/win32unix/startup.c +++ b/otherlibs/win32unix/startup.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/stat.c b/otherlibs/win32unix/stat.c index 79fc3b2eb..08ad397ca 100644 --- a/otherlibs/win32unix/stat.c +++ b/otherlibs/win32unix/stat.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/system.c b/otherlibs/win32unix/system.c index 51dc9bfb7..8abfa6f88 100644 --- a/otherlibs/win32unix/system.c +++ b/otherlibs/win32unix/system.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/unix.ml b/otherlibs/win32unix/unix.ml index c8396d7fd..c513ee4da 100644 --- a/otherlibs/win32unix/unix.ml +++ b/otherlibs/win32unix/unix.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/otherlibs/win32unix/unixsupport.c b/otherlibs/win32unix/unixsupport.c index 45d689ff6..2a45684a6 100644 --- a/otherlibs/win32unix/unixsupport.c +++ b/otherlibs/win32unix/unixsupport.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/unixsupport.h b/otherlibs/win32unix/unixsupport.h index d56158304..f50d40c09 100644 --- a/otherlibs/win32unix/unixsupport.h +++ b/otherlibs/win32unix/unixsupport.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy and Pascal Cuoq, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/windbug.c b/otherlibs/win32unix/windbug.c index e3a2772db..0370d2de7 100644 --- a/otherlibs/win32unix/windbug.c +++ b/otherlibs/win32unix/windbug.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Contributed by Sylvain Le Gall for Lexifi */ /* */ diff --git a/otherlibs/win32unix/windbug.h b/otherlibs/win32unix/windbug.h index 69cbd3b6e..3e2341361 100644 --- a/otherlibs/win32unix/windbug.h +++ b/otherlibs/win32unix/windbug.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Contributed by Sylvain Le Gall for Lexifi */ /* */ diff --git a/otherlibs/win32unix/windir.c b/otherlibs/win32unix/windir.c index 8b96589ec..240b863b2 100644 --- a/otherlibs/win32unix/windir.c +++ b/otherlibs/win32unix/windir.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Pascal Cuoq and Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/winlist.c b/otherlibs/win32unix/winlist.c index 318a0addf..bbb2e7cff 100644 --- a/otherlibs/win32unix/winlist.c +++ b/otherlibs/win32unix/winlist.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Contributed by Sylvain Le Gall for Lexifi */ /* */ diff --git a/otherlibs/win32unix/winlist.h b/otherlibs/win32unix/winlist.h index be388a4ca..1f0a8435a 100644 --- a/otherlibs/win32unix/winlist.h +++ b/otherlibs/win32unix/winlist.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Contributed by Sylvain Le Gall for Lexifi */ /* */ diff --git a/otherlibs/win32unix/winwait.c b/otherlibs/win32unix/winwait.c index 895a6926b..db13231ae 100644 --- a/otherlibs/win32unix/winwait.c +++ b/otherlibs/win32unix/winwait.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Pascal Cuoq and Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ diff --git a/otherlibs/win32unix/winworker.c b/otherlibs/win32unix/winworker.c index 57f95a9ae..01c7dc400 100644 --- a/otherlibs/win32unix/winworker.c +++ b/otherlibs/win32unix/winworker.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Contributed by Sylvain Le Gall for Lexifi */ /* */ diff --git a/otherlibs/win32unix/winworker.h b/otherlibs/win32unix/winworker.h index 06450a4ec..caf9067a6 100644 --- a/otherlibs/win32unix/winworker.h +++ b/otherlibs/win32unix/winworker.h @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Contributed by Sylvain Le Gall for Lexifi */ /* */ diff --git a/otherlibs/win32unix/write.c b/otherlibs/win32unix/write.c index 190d90253..46d75ccba 100644 --- a/otherlibs/win32unix/write.c +++ b/otherlibs/win32unix/write.c @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ |