diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-30 14:53:58 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-30 14:53:58 +0000 |
| commit | 2301d778e79a859efe0dc02bd6a676120f1b83a6 (patch) | |
| tree | 0d8b7afdcc1fe3523a57ffb7a569eb1a9db6991f /stdlib | |
| parent | 1cbdeef09bbc3ab0a312b3c0438f588392ec2aa2 (diff) | |
| download | ocaml-2301d778e79a859efe0dc02bd6a676120f1b83a6.tar.gz | |
Renommage en Objective Caml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib')
58 files changed, 132 insertions, 131 deletions
diff --git a/stdlib/.cvsignore b/stdlib/.cvsignore index e95b2de1e1..7ea00d7ab5 100644 --- a/stdlib/.cvsignore +++ b/stdlib/.cvsignore @@ -1,2 +1,2 @@ -cslheader +ocamlheader filename.ml diff --git a/stdlib/Makefile b/stdlib/Makefile index 408eefbf11..75a17d5c7d 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -1,11 +1,11 @@ include ../config/Makefile -RUNTIME=../boot/cslrun -COMPILER=../cslc +RUNTIME=../boot/ocamlrun +COMPILER=../ocamlc CAMLC=$(RUNTIME) $(COMPILER) -OPTCOMPILER=../cslopt +OPTCOMPILER=../ocamlopt CAMLOPT=$(RUNTIME) $(OPTCOMPILER) -CAMLDEP=../boot/cslrun ../tools/csldep +CAMLDEP=../boot/ocamlrun ../tools/ocamldep CPPFLAGS=-DUNIX OBJS=pervasives.cmo list.cmo string.cmo char.cmo array.cmo sys.cmo \ @@ -14,12 +14,12 @@ OBJS=pervasives.cmo list.cmo string.cmo char.cmo array.cmo sys.cmo \ printf.cmo format.cmo arg.cmo printexc.cmo gc.cmo \ digest.cmo random.cmo oo.cmo genlex.cmo -all: stdlib.cma std_exit.cmo cslheader +all: stdlib.cma std_exit.cmo camlheader allopt: stdlib.cmxa std_exit.cmx install: - cp stdlib.cma std_exit.cmo *.cmi *.mli cslheader $(LIBDIR) + cp stdlib.cma std_exit.cmo *.cmi *.mli camlheader $(LIBDIR) installopt: cp stdlib.cmxa stdlib.a std_exit.o *.cmx $(LIBDIR) @@ -31,14 +31,14 @@ stdlib.cma: $(OBJS) stdlib.cmxa: $(OBJS:.cmo=.cmx) $(CAMLOPT) -a -o stdlib.cmxa $(OBJS:.cmo=.cmx) -cslheader: header.c ../config/Makefile +camlheader: header.c ../config/Makefile if $(SHARPBANGSCRIPTS); \ - then echo "#!$(BINDIR)/cslrun" > cslheader; \ - else $(BYTECC) $(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) header.c -o cslheader; \ - strip cslheader; fi + then echo "#!$(BINDIR)/ocamlrun" > camlheader; \ + else $(BYTECC) $(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) header.c -o camlheader; \ + strip camlheader; fi clean:: - rm -f cslheader + rm -f camlheader pervasives.cmi: pervasives.mli $(CAMLC) $(COMPFLAGS) -nopervasives -c pervasives.mli diff --git a/stdlib/Makefile.nt b/stdlib/Makefile.nt index 4e015f8a0b..acbcc33c4d 100644 --- a/stdlib/Makefile.nt +++ b/stdlib/Makefile.nt @@ -1,11 +1,11 @@ !include ..\config\Makefile.nt -RUNTIME=..\boot\cslrun -COMPILER=..\cslc +RUNTIME=..\boot\ocamlrun +COMPILER=..\ocamlc CAMLC=$(RUNTIME) $(COMPILER) -OPTCOMPILER=..\cslopt +OPTCOMPILER=..\ocamlopt CAMLOPT=$(RUNTIME) $(OPTCOMPILER) -CAMLDEP=..\boot\cslrun ..\tools\csldep +CAMLDEP=..\boot\ocamlrun ..\tools\ocamldep OBJS=pervasives.cmo list.cmo string.cmo char.cmo array.cmo sys.cmo \ hashtbl.cmo sort.cmo filename.cmo obj.cmo lexing.cmo parsing.cmo \ @@ -13,12 +13,12 @@ OBJS=pervasives.cmo list.cmo string.cmo char.cmo array.cmo sys.cmo \ printf.cmo format.cmo arg.cmo printexc.cmo gc.cmo \ digest.cmo random.cmo oo.cmo -all: stdlib.cma std_exit.cmo cslheader +all: stdlib.cma std_exit.cmo ocamlheader allopt: stdlib.cmxa std_exit.cmx install: - cp stdlib.cma std_exit.cmo *.cmi *.mli cslheader $(LIBDIR) + cp stdlib.cma std_exit.cmo *.cmi *.mli ocamlheader $(LIBDIR) installopt: cp stdlib.cmxa stdlib.lib std_exit.obj *.cmx $(LIBDIR) @@ -29,11 +29,11 @@ stdlib.cma: $(OBJS) stdlib.cmxa: $(OBJS:.cmo=.cmx) $(CAMLOPT) -a -o stdlib.cmxa $(OBJS:.cmo=.cmx) -cslheader: headernt.c ..\config\Makefile.nt +ocamlheader: headernt.c ..\config\Makefile.nt $(BYTECC) $(BYTECCCOMPOPTS) $(BYTECCLINKOPTS) -Fecslheader. headernt.c clean:: - rm -f cslheader + rm -f ocamlheader pervasives.cmi: pervasives.mli $(CAMLC) $(COMPFLAGS) -nopervasives -c pervasives.mli diff --git a/stdlib/arg.ml b/stdlib/arg.ml index 3cd16739f2..58218a80c0 100644 --- a/stdlib/arg.ml +++ b/stdlib/arg.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/arg.mli b/stdlib/arg.mli index b7fb1a4643..0cdd072272 100644 --- a/stdlib/arg.mli +++ b/stdlib/arg.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/array.ml b/stdlib/array.ml index f3867c84f7..0bfebdeb57 100644 --- a/stdlib/array.ml +++ b/stdlib/array.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/array.mli b/stdlib/array.mli index 36aedf85b0..6591a65de7 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/char.ml b/stdlib/char.ml index 43ccdef71f..077719d8c7 100644 --- a/stdlib/char.ml +++ b/stdlib/char.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/char.mli b/stdlib/char.mli index 2afbd67183..bccfc15d5d 100644 --- a/stdlib/char.mli +++ b/stdlib/char.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/digest.ml b/stdlib/digest.ml index 3b7c039d1a..ae0a4a78e5 100644 --- a/stdlib/digest.ml +++ b/stdlib/digest.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/digest.mli b/stdlib/digest.mli index c5b5de4982..c01332b360 100644 --- a/stdlib/digest.mli +++ b/stdlib/digest.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/filename.mli b/stdlib/filename.mli index 223f4fd216..61013232ca 100644 --- a/stdlib/filename.mli +++ b/stdlib/filename.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/filename.mlp b/stdlib/filename.mlp index 646e7b32e2..ceb3480d32 100644 --- a/stdlib/filename.mlp +++ b/stdlib/filename.mlp @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/format.ml b/stdlib/format.ml index b98f774dc5..ecbf8c59ee 100644 --- a/stdlib/format.ml +++ b/stdlib/format.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/format.mli b/stdlib/format.mli index 8fa6a3b866..19986520ce 100644 --- a/stdlib/format.mli +++ b/stdlib/format.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/gc.ml b/stdlib/gc.ml index d07be83613..da3feb67ee 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/gc.mli b/stdlib/gc.mli index 15753dd461..3acebc9d5c 100644 --- a/stdlib/gc.mli +++ b/stdlib/gc.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/genlex.ml b/stdlib/genlex.ml index 276db124d3..3c28e88dc8 100644 --- a/stdlib/genlex.ml +++ b/stdlib/genlex.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/genlex.mli b/stdlib/genlex.mli index 54c75be5b9..e11fdb3442 100644 --- a/stdlib/genlex.mli +++ b/stdlib/genlex.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/hashtbl.ml b/stdlib/hashtbl.ml index c2ba6392c2..52a62784ab 100644 --- a/stdlib/hashtbl.ml +++ b/stdlib/hashtbl.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) @@ -93,8 +93,9 @@ let find_all h key = find_in_bucket h.data.((hash_param 10 100 key) mod (Array.length h.data)) let iter f h = - let len = Array.length h.data in - for i = 0 to Array.length h.data - 1 do + let d = h.data in + let len = Array.length d in + for i = 0 to len - 1 do let rec do_bucket = function Empty -> () @@ -102,7 +103,7 @@ let iter f h = if (hash_param 10 100 k) mod len = i then begin f k d; do_bucket rest end else do_bucket rest in - do_bucket h.data.(i) + do_bucket d.(i) done let hash x = hash_param 50 500 x diff --git a/stdlib/hashtbl.mli b/stdlib/hashtbl.mli index 628143701e..2d7199921b 100644 --- a/stdlib/hashtbl.mli +++ b/stdlib/hashtbl.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/header.c b/stdlib/header.c index 7ceb931dcd..30d1c4100e 100644 --- a/stdlib/header.c +++ b/stdlib/header.c @@ -1,10 +1,10 @@ /***********************************************************************/ /* */ -/* Caml Special Light */ +/* Objective Caml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ -/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Copyright 1996 Institut National de Recherche en Informatique et */ /* Automatique. Distributed only by permission. */ /* */ /***********************************************************************/ diff --git a/stdlib/headernt.c b/stdlib/headernt.c index 768bb1fe80..c466dfe313 100644 --- a/stdlib/headernt.c +++ b/stdlib/headernt.c @@ -1,10 +1,10 @@ /***********************************************************************/ /* */ -/* Caml Special Light */ +/* Objective Caml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ -/* Copyright 1995 Institut National de Recherche en Informatique et */ +/* Copyright 1996 Institut National de Recherche en Informatique et */ /* Automatique. Distributed only by permission. */ /* */ /***********************************************************************/ diff --git a/stdlib/lexing.ml b/stdlib/lexing.ml index 33e0ded2aa..21d8588478 100644 --- a/stdlib/lexing.ml +++ b/stdlib/lexing.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/lexing.mli b/stdlib/lexing.mli index d0e4ebd770..b12a9a725d 100644 --- a/stdlib/lexing.mli +++ b/stdlib/lexing.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/list.ml b/stdlib/list.ml index c4dfb3ab9a..fa79c7817c 100644 --- a/stdlib/list.ml +++ b/stdlib/list.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/list.mli b/stdlib/list.mli index 60c0feb153..1f0804d3f6 100644 --- a/stdlib/list.mli +++ b/stdlib/list.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/map.ml b/stdlib/map.ml index 4af05803e2..b1d725f334 100644 --- a/stdlib/map.ml +++ b/stdlib/map.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/map.mli b/stdlib/map.mli index 3da155581a..d79da9d2ea 100644 --- a/stdlib/map.mli +++ b/stdlib/map.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/obj.ml b/stdlib/obj.ml index 8129fa6b90..1ad65dd610 100644 --- a/stdlib/obj.ml +++ b/stdlib/obj.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/obj.mli b/stdlib/obj.mli index 9640871a5a..295ea93c3a 100644 --- a/stdlib/obj.mli +++ b/stdlib/obj.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/oo.ml b/stdlib/oo.ml index 16f1c7413c..ef98f2930a 100644 --- a/stdlib/oo.ml +++ b/stdlib/oo.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/oo.mli b/stdlib/oo.mli index 2710fad6be..e617fc4c69 100644 --- a/stdlib/oo.mli +++ b/stdlib/oo.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/stdlib/parsing.ml b/stdlib/parsing.ml index af83e15d48..005f4acddc 100644 --- a/stdlib/parsing.ml +++ b/stdlib/parsing.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/parsing.mli b/stdlib/parsing.mli index c2a364d567..a6a5a34cd6 100644 --- a/stdlib/parsing.mli +++ b/stdlib/parsing.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/pervasives.ml b/stdlib/pervasives.ml index d2ee5a4474..eb8aa8e0f3 100644 --- a/stdlib/pervasives.ml +++ b/stdlib/pervasives.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/pervasives.mli b/stdlib/pervasives.mli index 33c9738021..09b0e7029e 100644 --- a/stdlib/pervasives.mli +++ b/stdlib/pervasives.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/printexc.ml b/stdlib/printexc.ml index e75fb43eeb..bb0be8b449 100644 --- a/stdlib/printexc.ml +++ b/stdlib/printexc.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/printexc.mli b/stdlib/printexc.mli index 4c6c027e87..986d8ed3ce 100644 --- a/stdlib/printexc.mli +++ b/stdlib/printexc.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/printf.ml b/stdlib/printf.ml index 8d7c0f1159..085f27f9ca 100644 --- a/stdlib/printf.ml +++ b/stdlib/printf.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/printf.mli b/stdlib/printf.mli index d167bfd964..5cf740e338 100644 --- a/stdlib/printf.mli +++ b/stdlib/printf.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/queue.ml b/stdlib/queue.ml index 15ec967e5c..84bb67aa47 100644 --- a/stdlib/queue.ml +++ b/stdlib/queue.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/queue.mli b/stdlib/queue.mli index c8504b0153..4cc0d6aa43 100644 --- a/stdlib/queue.mli +++ b/stdlib/queue.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/random.ml b/stdlib/random.ml index 4100091f24..4ed2dee5f7 100644 --- a/stdlib/random.ml +++ b/stdlib/random.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/random.mli b/stdlib/random.mli index aa01f6d0ad..63cc357f8f 100644 --- a/stdlib/random.mli +++ b/stdlib/random.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Damien Doligez, projet Para, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/set.ml b/stdlib/set.ml index 149856ab3f..cb06358501 100644 --- a/stdlib/set.ml +++ b/stdlib/set.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/set.mli b/stdlib/set.mli index e359adab8a..ded5a9bd43 100644 --- a/stdlib/set.mli +++ b/stdlib/set.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/sort.ml b/stdlib/sort.ml index d4b6ad0b18..e6a2652e98 100644 --- a/stdlib/sort.ml +++ b/stdlib/sort.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/sort.mli b/stdlib/sort.mli index a64d7db991..44c06ff23a 100644 --- a/stdlib/sort.mli +++ b/stdlib/sort.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/stack.ml b/stdlib/stack.ml index 17233c1e85..40a7398a88 100644 --- a/stdlib/stack.ml +++ b/stdlib/stack.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/stack.mli b/stdlib/stack.mli index b91dca4a5c..410b38718b 100644 --- a/stdlib/stack.mli +++ b/stdlib/stack.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/std_exit.ml b/stdlib/std_exit.ml index 4df8a5feb0..5debeac6d5 100644 --- a/stdlib/std_exit.ml +++ b/stdlib/std_exit.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/stream.ml b/stdlib/stream.ml index 3de33f04ae..91d280f7fb 100644 --- a/stdlib/stream.ml +++ b/stdlib/stream.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/stream.mli b/stdlib/stream.mli index 18db4d7c9e..9f6d615a19 100644 --- a/stdlib/stream.mli +++ b/stdlib/stream.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Daniel de Rauglaudre, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/string.ml b/stdlib/string.ml index 771813bed9..ad7f6524b8 100644 --- a/stdlib/string.ml +++ b/stdlib/string.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/string.mli b/stdlib/string.mli index 042dfa4269..3ae892940b 100644 --- a/stdlib/string.mli +++ b/stdlib/string.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/sys.ml b/stdlib/sys.ml index 3f50f6ff2a..5e52fd3c37 100644 --- a/stdlib/sys.ml +++ b/stdlib/sys.ml @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) diff --git a/stdlib/sys.mli b/stdlib/sys.mli index d316a6e0ec..14245ccd5b 100644 --- a/stdlib/sys.mli +++ b/stdlib/sys.mli @@ -1,10 +1,10 @@ (***********************************************************************) (* *) -(* Caml Special Light *) +(* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) -(* Copyright 1995 Institut National de Recherche en Informatique et *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) (* Automatique. Distributed only by permission. *) (* *) (***********************************************************************) |