diff options
Diffstat (limited to 'otherlibs/labltk/browser')
49 files changed, 104 insertions, 48 deletions
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> |