diff options
Diffstat (limited to 'debugger')
66 files changed, 144 insertions, 120 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 3ff1b54aa..2e6534c73 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/debugger/Makefile.nt b/debugger/Makefile.nt index 70263e94d..40034ef48 100644 --- a/debugger/Makefile.nt +++ b/debugger/Makefile.nt @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/debugger/Makefile.shared b/debugger/Makefile.shared index 778fcf112..77b9c60e0 100644 --- a/debugger/Makefile.shared +++ b/debugger/Makefile.shared @@ -1,6 +1,6 @@ ######################################################################### # # -# Objective Caml # +# OCaml # # # # Xavier Leroy, projet Cristal, INRIA Rocquencourt # # # diff --git a/debugger/breakpoints.ml b/debugger/breakpoints.ml index 1da4b74e2..5e84cc6ca 100644 --- a/debugger/breakpoints.ml +++ b/debugger/breakpoints.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/breakpoints.mli b/debugger/breakpoints.mli index 091f60998..855ef5e17 100644 --- a/debugger/breakpoints.mli +++ b/debugger/breakpoints.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/checkpoints.ml b/debugger/checkpoints.ml index ffcff35e3..e2371f170 100644 --- a/debugger/checkpoints.ml +++ b/debugger/checkpoints.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/checkpoints.mli b/debugger/checkpoints.mli index 17c1037aa..b37d1ae55 100644 --- a/debugger/checkpoints.mli +++ b/debugger/checkpoints.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/command_line.ml b/debugger/command_line.ml index 944efa864..3f84ea7b2 100644 --- a/debugger/command_line.ml +++ b/debugger/command_line.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/command_line.mli b/debugger/command_line.mli index dd2349d2c..422cf6a24 100644 --- a/debugger/command_line.mli +++ b/debugger/command_line.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/debugcom.ml b/debugger/debugcom.ml index dfe905bac..8839476e3 100644 --- a/debugger/debugcom.ml +++ b/debugger/debugcom.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/debugcom.mli b/debugger/debugcom.mli index abf4fd0b2..7d107ac5b 100644 --- a/debugger/debugcom.mli +++ b/debugger/debugcom.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/debugger_config.ml b/debugger/debugger_config.ml index 54d6b2d58..007a3e973 100644 --- a/debugger/debugger_config.ml +++ b/debugger/debugger_config.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) @@ -56,7 +56,7 @@ let shell = "Win32" -> "cmd" | _ -> "/bin/sh" -(* Name of the Objective Caml runtime. *) +(* Name of the OCaml runtime. *) let runtime_program = "ocamlrun" (* Time history size (for `last') *) diff --git a/debugger/debugger_config.mli b/debugger/debugger_config.mli index 18faf9c62..64411f96a 100644 --- a/debugger/debugger_config.mli +++ b/debugger/debugger_config.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/envaux.ml b/debugger/envaux.ml index 8d462e2f8..56786929e 100644 --- a/debugger/envaux.ml +++ b/debugger/envaux.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/envaux.mli b/debugger/envaux.mli index 8b122cc34..b78173c4a 100644 --- a/debugger/envaux.mli +++ b/debugger/envaux.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/eval.ml b/debugger/eval.ml index 7ee1339f0..0f8c8a056 100644 --- a/debugger/eval.ml +++ b/debugger/eval.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/eval.mli b/debugger/eval.mli index b2a2998f1..96661b2a3 100644 --- a/debugger/eval.mli +++ b/debugger/eval.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/events.ml b/debugger/events.ml index 2521c064d..78733bfc4 100644 --- a/debugger/events.ml +++ b/debugger/events.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/events.mli b/debugger/events.mli index 7166f2c9d..f795058cc 100644 --- a/debugger/events.mli +++ b/debugger/events.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/exec.ml b/debugger/exec.ml index 1ea165978..22d281bcc 100644 --- a/debugger/exec.ml +++ b/debugger/exec.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/exec.mli b/debugger/exec.mli index 9d3b98604..c9d665ae0 100644 --- a/debugger/exec.mli +++ b/debugger/exec.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/frames.ml b/debugger/frames.ml index c533782fc..2a87ffdd8 100644 --- a/debugger/frames.ml +++ b/debugger/frames.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/frames.mli b/debugger/frames.mli index b4863433d..5023236cb 100644 --- a/debugger/frames.mli +++ b/debugger/frames.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/history.ml b/debugger/history.ml index e8c5ed8ff..473ba80bb 100644 --- a/debugger/history.ml +++ b/debugger/history.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/history.mli b/debugger/history.mli index 249629fdb..542b9ca04 100644 --- a/debugger/history.mli +++ b/debugger/history.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/input_handling.ml b/debugger/input_handling.ml index f25d47426..8bbc0d80f 100644 --- a/debugger/input_handling.ml +++ b/debugger/input_handling.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/input_handling.mli b/debugger/input_handling.mli index 959547df7..7ae190ee1 100644 --- a/debugger/input_handling.mli +++ b/debugger/input_handling.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/int64ops.ml b/debugger/int64ops.ml index b854a6c34..a3dbdbe2c 100644 --- a/debugger/int64ops.ml +++ b/debugger/int64ops.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Moscova, INRIA Rocqencourt *) (* *) diff --git a/debugger/int64ops.mli b/debugger/int64ops.mli index 98f7228d3..f898f1431 100644 --- a/debugger/int64ops.mli +++ b/debugger/int64ops.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Moscova, INRIA Rocqencourt *) (* *) diff --git a/debugger/lexer.mli b/debugger/lexer.mli index 7214ed2be..23f88e571 100644 --- a/debugger/lexer.mli +++ b/debugger/lexer.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/lexer.mll b/debugger/lexer.mll index eea8ed028..7dd51e704 100644 --- a/debugger/lexer.mll +++ b/debugger/lexer.mll @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/loadprinter.ml b/debugger/loadprinter.ml index ac5aa0187..49f76a402 100644 --- a/debugger/loadprinter.ml +++ b/debugger/loadprinter.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/debugger/loadprinter.mli b/debugger/loadprinter.mli index bdaf77a28..77edfc53d 100644 --- a/debugger/loadprinter.mli +++ b/debugger/loadprinter.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/debugger/main.ml b/debugger/main.ml index c25f9ffb4..5e80081f0 100644 --- a/debugger/main.ml +++ b/debugger/main.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/parameters.ml b/debugger/parameters.ml index 9d518e549..fb816e4d5 100644 --- a/debugger/parameters.ml +++ b/debugger/parameters.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/parameters.mli b/debugger/parameters.mli index 8f750e68a..eb055f7c5 100644 --- a/debugger/parameters.mli +++ b/debugger/parameters.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/parser.mly b/debugger/parser.mly index 6fc8392a8..ae1b0d153 100644 --- a/debugger/parser.mly +++ b/debugger/parser.mly @@ -1,9 +1,9 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Jerome Vouillon, projet Cristal, INRIA Rocquencourt */ -/* Objective Caml port by John Malecki and Xavier Leroy */ +/* OCaml port by John Malecki and Xavier Leroy */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. All rights reserved. This file is distributed */ diff --git a/debugger/parser_aux.mli b/debugger/parser_aux.mli index a68e08d5c..275281cc4 100644 --- a/debugger/parser_aux.mli +++ b/debugger/parser_aux.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/pattern_matching.ml b/debugger/pattern_matching.ml index 97af9326b..b92118265 100644 --- a/debugger/pattern_matching.ml +++ b/debugger/pattern_matching.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/pattern_matching.mli b/debugger/pattern_matching.mli index 3490edef6..a7a525622 100644 --- a/debugger/pattern_matching.mli +++ b/debugger/pattern_matching.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/pos.ml b/debugger/pos.ml index 4beba3de0..6c43f4339 100644 --- a/debugger/pos.ml +++ b/debugger/pos.ml @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/debugger/pos.mli b/debugger/pos.mli index e7632e427..a4c8e9e8d 100644 --- a/debugger/pos.mli +++ b/debugger/pos.mli @@ -1,6 +1,6 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Damien Doligez, projet Moscova, INRIA Rocquencourt *) (* *) diff --git a/debugger/primitives.ml b/debugger/primitives.ml index d4ba22e5f..bfd2fdd8d 100644 --- a/debugger/primitives.ml +++ b/debugger/primitives.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/primitives.mli b/debugger/primitives.mli index 4333128fb..4d914da98 100644 --- a/debugger/primitives.mli +++ b/debugger/primitives.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/printval.ml b/debugger/printval.ml index 5f36e1a7c..84a0f06e4 100644 --- a/debugger/printval.ml +++ b/debugger/printval.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/printval.mli b/debugger/printval.mli index bb6318880..f1c4569bb 100644 --- a/debugger/printval.mli +++ b/debugger/printval.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/program_loading.ml b/debugger/program_loading.ml index 79577ff4b..3f32cb245 100644 --- a/debugger/program_loading.ml +++ b/debugger/program_loading.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/program_loading.mli b/debugger/program_loading.mli index d1210d1ab..2814eb39c 100644 --- a/debugger/program_loading.mli +++ b/debugger/program_loading.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/program_management.ml b/debugger/program_management.ml index 8ebb907d1..3e6ffa81d 100644 --- a/debugger/program_management.ml +++ b/debugger/program_management.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/program_management.mli b/debugger/program_management.mli index 8e2f28e54..96f5a4382 100644 --- a/debugger/program_management.mli +++ b/debugger/program_management.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/question.ml b/debugger/question.ml index 2eeec3ab0..f17227b9b 100644 --- a/debugger/question.ml +++ b/debugger/question.ml @@ -1,3 +1,15 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Nicolas Pouillard, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2006 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + open Input_handling open Primitives diff --git a/debugger/question.mli b/debugger/question.mli index 3a92dee6b..d8e50ef9b 100644 --- a/debugger/question.mli +++ b/debugger/question.mli @@ -1,2 +1,14 @@ +(***********************************************************************) +(* *) +(* OCaml *) +(* *) +(* Nicolas Pouillard, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2006 Institut National de Recherche en Informatique et *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) +(* *) +(***********************************************************************) + (* Ask user a yes or no question. *) val yes_or_no : string -> bool diff --git a/debugger/show_information.ml b/debugger/show_information.ml index bd746eb7f..86e9637a4 100644 --- a/debugger/show_information.ml +++ b/debugger/show_information.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/show_information.mli b/debugger/show_information.mli index 3069f9332..7774721a9 100644 --- a/debugger/show_information.mli +++ b/debugger/show_information.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/show_source.ml b/debugger/show_source.ml index 2826c9e68..4a998f520 100644 --- a/debugger/show_source.ml +++ b/debugger/show_source.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/show_source.mli b/debugger/show_source.mli index 5ba418af5..3b136ab74 100644 --- a/debugger/show_source.mli +++ b/debugger/show_source.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/source.ml b/debugger/source.ml index f0d3d48fb..0314cfacb 100644 --- a/debugger/source.ml +++ b/debugger/source.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/source.mli b/debugger/source.mli index 273cb517b..50fa3f02a 100644 --- a/debugger/source.mli +++ b/debugger/source.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/symbols.ml b/debugger/symbols.ml index 392da976a..9fba3e09c 100644 --- a/debugger/symbols.ml +++ b/debugger/symbols.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/symbols.mli b/debugger/symbols.mli index 57ac8007b..8823abd29 100644 --- a/debugger/symbols.mli +++ b/debugger/symbols.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/time_travel.ml b/debugger/time_travel.ml index a4a4c83fa..e10e03969 100644 --- a/debugger/time_travel.ml +++ b/debugger/time_travel.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/time_travel.mli b/debugger/time_travel.mli index 453e4df05..dad47fedc 100644 --- a/debugger/time_travel.mli +++ b/debugger/time_travel.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/trap_barrier.ml b/debugger/trap_barrier.ml index dba9c929f..6aa22b267 100644 --- a/debugger/trap_barrier.ml +++ b/debugger/trap_barrier.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/trap_barrier.mli b/debugger/trap_barrier.mli index 28bba5a3e..b12391af6 100644 --- a/debugger/trap_barrier.mli +++ b/debugger/trap_barrier.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/unix_tools.ml b/debugger/unix_tools.ml index 9926e05d5..dea47f99f 100644 --- a/debugger/unix_tools.ml +++ b/debugger/unix_tools.ml @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/debugger/unix_tools.mli b/debugger/unix_tools.mli index b5e4ee6ca..bbea8447e 100644 --- a/debugger/unix_tools.mli +++ b/debugger/unix_tools.mli @@ -1,9 +1,9 @@ (***********************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* Jerome Vouillon, projet Cristal, INRIA Rocquencourt *) -(* Objective Caml port by John Malecki and Xavier Leroy *) +(* OCaml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) |