diff options
Diffstat (limited to 'debugger')
57 files changed, 126 insertions, 56 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 4e7738d0d..ba23ef18e 100644 --- a/debugger/Makefile +++ b/debugger/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 1999 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. # +# # +######################################################################### + +# $Id$ + include ../config/Makefile CAMLC=../boot/ocamlrun ../ocamlc -I ../boot diff --git a/debugger/breakpoints.ml b/debugger/breakpoints.ml index 716d431fa..3acb848b4 100644 --- a/debugger/breakpoints.ml +++ b/debugger/breakpoints.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/breakpoints.mli b/debugger/breakpoints.mli index a4fa93e85..091f60998 100644 --- a/debugger/breakpoints.mli +++ b/debugger/breakpoints.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/checkpoints.ml b/debugger/checkpoints.ml index 3b2b1c039..063b8ef59 100644 --- a/debugger/checkpoints.ml +++ b/debugger/checkpoints.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/checkpoints.mli b/debugger/checkpoints.mli index 4fe56c58b..05fe256c4 100644 --- a/debugger/checkpoints.mli +++ b/debugger/checkpoints.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/command_line.ml b/debugger/command_line.ml index 33a519d47..2baa09092 100644 --- a/debugger/command_line.ml +++ b/debugger/command_line.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/command_line.mli b/debugger/command_line.mli index 347c734b6..b87046c53 100644 --- a/debugger/command_line.mli +++ b/debugger/command_line.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/debugcom.ml b/debugger/debugcom.ml index 5616a8345..79b8fcfd8 100644 --- a/debugger/debugcom.ml +++ b/debugger/debugcom.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/debugcom.mli b/debugger/debugcom.mli index aef289cd7..c1eab3c32 100644 --- a/debugger/debugcom.mli +++ b/debugger/debugcom.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/debugger_config.ml b/debugger/debugger_config.ml index 364a35aa0..9748dc3de 100644 --- a/debugger/debugger_config.ml +++ b/debugger/debugger_config.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/debugger_config.mli b/debugger/debugger_config.mli index b0c8cbf53..1e2922a32 100644 --- a/debugger/debugger_config.mli +++ b/debugger/debugger_config.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/envaux.ml b/debugger/envaux.ml index e19775d7c..352ea4909 100644 --- a/debugger/envaux.ml +++ b/debugger/envaux.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/envaux.mli b/debugger/envaux.mli index 4cbfac750..7cd206643 100644 --- a/debugger/envaux.mli +++ b/debugger/envaux.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/eval.ml b/debugger/eval.ml index 4850ad357..cb3f3607d 100644 --- a/debugger/eval.ml +++ b/debugger/eval.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/eval.mli b/debugger/eval.mli index 2bbd4cef5..6565ebc0e 100644 --- a/debugger/eval.mli +++ b/debugger/eval.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/events.ml b/debugger/events.ml index 1705a65e0..2605b3c96 100644 --- a/debugger/events.ml +++ b/debugger/events.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/events.mli b/debugger/events.mli index d71f81286..8c4739957 100644 --- a/debugger/events.mli +++ b/debugger/events.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/exec.ml b/debugger/exec.ml index 0207801df..d97a8c4e7 100644 --- a/debugger/exec.ml +++ b/debugger/exec.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/exec.mli b/debugger/exec.mli index 12929b2d0..9d3b98604 100644 --- a/debugger/exec.mli +++ b/debugger/exec.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/frames.ml b/debugger/frames.ml index d3a0cae53..f68f1b6b9 100644 --- a/debugger/frames.ml +++ b/debugger/frames.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/frames.mli b/debugger/frames.mli index a31e49bc0..0906171f2 100644 --- a/debugger/frames.mli +++ b/debugger/frames.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/history.ml b/debugger/history.ml index bef338399..96e04adbf 100644 --- a/debugger/history.ml +++ b/debugger/history.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/history.mli b/debugger/history.mli index 5ca5742d8..415a60013 100644 --- a/debugger/history.mli +++ b/debugger/history.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/input_handling.ml b/debugger/input_handling.ml index 1e821b18b..5aac814b9 100644 --- a/debugger/input_handling.ml +++ b/debugger/input_handling.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/input_handling.mli b/debugger/input_handling.mli index b3fbc4ff9..872b88081 100644 --- a/debugger/input_handling.mli +++ b/debugger/input_handling.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/lexer.mll b/debugger/lexer.mll index b6a395ea8..7a1cdd4e4 100644 --- a/debugger/lexer.mll +++ b/debugger/lexer.mll @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/loadprinter.ml b/debugger/loadprinter.ml index f77591256..2e547b5ab 100644 --- a/debugger/loadprinter.ml +++ b/debugger/loadprinter.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/loadprinter.mli b/debugger/loadprinter.mli index bb152fa95..5e2f28225 100644 --- a/debugger/loadprinter.mli +++ b/debugger/loadprinter.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/main.ml b/debugger/main.ml index 4ca326b1b..299c28ad9 100644 --- a/debugger/main.ml +++ b/debugger/main.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/parameters.ml b/debugger/parameters.ml index c70dc4c93..45fd085b7 100644 --- a/debugger/parameters.ml +++ b/debugger/parameters.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/parameters.mli b/debugger/parameters.mli index 11505a4c7..c80d39d12 100644 --- a/debugger/parameters.mli +++ b/debugger/parameters.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/parser.mly b/debugger/parser.mly index ce0c9c249..e382d2bd9 100644 --- a/debugger/parser.mly +++ b/debugger/parser.mly @@ -6,7 +6,8 @@ /* Objective Caml port by John Malecki and Xavier Leroy */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ -/* Automatique. Distributed only by permission. */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the Q Public License version 1.0. */ /* */ /***********************************************************************/ diff --git a/debugger/parser_aux.mli b/debugger/parser_aux.mli index 1088a1906..7ea63fb8c 100644 --- a/debugger/parser_aux.mli +++ b/debugger/parser_aux.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/pattern_matching.ml b/debugger/pattern_matching.ml index 71e4df806..26e5a61f4 100644 --- a/debugger/pattern_matching.ml +++ b/debugger/pattern_matching.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/pattern_matching.mli b/debugger/pattern_matching.mli index 23a67c9cb..3490edef6 100644 --- a/debugger/pattern_matching.mli +++ b/debugger/pattern_matching.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/primitives.ml b/debugger/primitives.ml index 85dba8401..5bc382798 100644 --- a/debugger/primitives.ml +++ b/debugger/primitives.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/primitives.mli b/debugger/primitives.mli index b9ef59043..40effea55 100644 --- a/debugger/primitives.mli +++ b/debugger/primitives.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/printval.ml b/debugger/printval.ml index f751e75cf..2c932f7c6 100644 --- a/debugger/printval.ml +++ b/debugger/printval.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/printval.mli b/debugger/printval.mli index 6b84a33ff..2df6779a1 100644 --- a/debugger/printval.mli +++ b/debugger/printval.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/program_loading.ml b/debugger/program_loading.ml index 9b1528335..edcf3b1ed 100644 --- a/debugger/program_loading.ml +++ b/debugger/program_loading.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/program_loading.mli b/debugger/program_loading.mli index b45b7f72b..d1210d1ab 100644 --- a/debugger/program_loading.mli +++ b/debugger/program_loading.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/program_management.ml b/debugger/program_management.ml index 91e145c39..3b4a382f9 100644 --- a/debugger/program_management.ml +++ b/debugger/program_management.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/program_management.mli b/debugger/program_management.mli index fa43cb3d1..8e2f28e54 100644 --- a/debugger/program_management.mli +++ b/debugger/program_management.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/show_information.ml b/debugger/show_information.ml index 487fdacb5..c50831192 100644 --- a/debugger/show_information.ml +++ b/debugger/show_information.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/show_information.mli b/debugger/show_information.mli index 45ee3b10b..68d099da2 100644 --- a/debugger/show_information.mli +++ b/debugger/show_information.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/show_source.ml b/debugger/show_source.ml index 918e130dd..2e386d0df 100644 --- a/debugger/show_source.ml +++ b/debugger/show_source.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/show_source.mli b/debugger/show_source.mli index 7e5b1aad6..29f2f8c67 100644 --- a/debugger/show_source.mli +++ b/debugger/show_source.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/source.ml b/debugger/source.ml index ca8c40ddd..0cb98150e 100644 --- a/debugger/source.ml +++ b/debugger/source.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/source.mli b/debugger/source.mli index cd0826542..cfd5fe070 100644 --- a/debugger/source.mli +++ b/debugger/source.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/symbols.ml b/debugger/symbols.ml index 8f0c7c35e..65d1a7286 100644 --- a/debugger/symbols.ml +++ b/debugger/symbols.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/symbols.mli b/debugger/symbols.mli index a565ad3fb..0cb1e2e57 100644 --- a/debugger/symbols.mli +++ b/debugger/symbols.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/time_travel.ml b/debugger/time_travel.ml index dc84ed7ef..bf1ab07ef 100644 --- a/debugger/time_travel.ml +++ b/debugger/time_travel.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/time_travel.mli b/debugger/time_travel.mli index fe5c45791..2facb1350 100644 --- a/debugger/time_travel.mli +++ b/debugger/time_travel.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/trap_barrier.ml b/debugger/trap_barrier.ml index 9debb3457..dba9c929f 100644 --- a/debugger/trap_barrier.ml +++ b/debugger/trap_barrier.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/trap_barrier.mli b/debugger/trap_barrier.mli index 6f10ca060..28bba5a3e 100644 --- a/debugger/trap_barrier.mli +++ b/debugger/trap_barrier.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/unix_tools.ml b/debugger/unix_tools.ml index 61695aad0..ec4f4079c 100644 --- a/debugger/unix_tools.ml +++ b/debugger/unix_tools.ml @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/debugger/unix_tools.mli b/debugger/unix_tools.mli index d5f4c14a7..8281ad28c 100644 --- a/debugger/unix_tools.mli +++ b/debugger/unix_tools.mli @@ -6,7 +6,8 @@ (* Objective Caml port by John Malecki and Xavier Leroy *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) |