diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-05-03 16:05:09 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-05-03 16:05:09 +0000 |
| commit | ddc24846d3766307a2681515048b4bf2473677df (patch) | |
| tree | bef6c8e44de7d0f0bdbe2aede51c81fa3e7a7d82 | |
| parent | 23585f1cb0a437349f4ab5bc94d2773d25813dc5 (diff) | |
csl -> ocaml.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@787 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | LICENSE | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -28,8 +28,8 @@ personal use only. Public distribution of derivative works is not permitted, unless the user obtains the express approval of INRIA. INRIA freely grants the right to distribute executable files generated -by the Objective Caml compilers (cslc and cslopt). Binaries of the -Objective Caml run-time system (cslrun) can also be distributed +by the Objective Caml compilers (ocamlc and ocamlopt). Binaries of the +Objective Caml run-time system (ocamlrun) can also be distributed freely, with the sole condition that the distribution includes the following statement: @@ -37,7 +37,7 @@ following statement: which is copyright 1995 INRIA." All other files generated by the Objective Caml system, including -custom toplevel systems generated by cslmktop, are considered as +custom toplevel systems generated by ocamlmktop, are considered as derivative works and cannot be publicly distributed without the express approval of INRIA. |