diff options
Diffstat (limited to 'debugger')
57 files changed, 126 insertions, 56 deletions
diff --git a/debugger/Makefile b/debugger/Makefile index 4e7738d0da..ba23ef18ed 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 716d431faa..3acb848b45 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 a4fa93e853..091f609981 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 3b2b1c0390..063b8ef590 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 4fe56c58be..05fe256c47 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 33a519d475..2baa09092d 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 347c734b62..b87046c537 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 5616a83454..79b8fcfd8a 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 aef289cd7c..c1eab3c323 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 364a35aa02..9748dc3def 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 b0c8cbf53b..1e2922a32a 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 e19775d7c3..352ea49095 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 4cbfac750c..7cd206643d 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 4850ad3572..cb3f3607de 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 2bbd4cef54..6565ebc0e2 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 1705a65e04..2605b3c968 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 d71f81286a..8c47399571 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 0207801df1..d97a8c4e7d 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 12929b2d09..9d3b986048 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 d3a0cae53e..f68f1b6b96 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 a31e49bc0e..0906171f2e 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 bef3383999..96e04adbfb 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 5ca5742d84..415a600133 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 1e821b18b0..5aac814b9a 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 b3fbc4ff90..872b880816 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 b6a395ea84..7a1cdd4e4e 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 f77591256e..2e547b5ab9 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 bb152fa956..5e2f282257 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 4ca326b1b5..299c28ad9f 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 c70dc4c938..45fd085b7e 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 11505a4c77..c80d39d124 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 ce0c9c249b..e382d2bd91 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 1088a19066..7ea63fb8c2 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 71e4df8066..26e5a61f47 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 23a67c9cb9..3490edef69 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 85dba8401f..5bc3827989 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 b9ef59043f..40effea556 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 f751e75cf3..2c932f7c62 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 6b84a33ffe..2df6779a15 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 9b15283359..edcf3b1ed7 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 b45b7f72b6..d1210d1ab0 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 91e145c39a..3b4a382f96 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 fa43cb3d1a..8e2f28e54e 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 487fdacb55..c50831192f 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 45ee3b10bf..68d099da23 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 918e130dd8..2e386d0df0 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 7e5b1aad6d..29f2f8c67e 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 ca8c40dddf..0cb98150e4 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 cd08265428..cfd5fe0705 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 8f0c7c35e3..65d1a72860 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 a565ad3fba..0cb1e2e573 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 dc84ed7ef9..bf1ab07efc 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 fe5c45791d..2facb13507 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 9debb34575..dba9c929f7 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 6f10ca060c..28bba5a3eb 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 61695aad0e..ec4f4079c8 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 d5f4c14a79..8281ad28ca 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. *) (* *) (***********************************************************************) |