Commit 41d7a29c authored by Andrei Paskevich's avatar Andrei Paskevich

put OCAML-LICENSE

parent 8f6a08df
This diff is collapsed.
......@@ -15,8 +15,8 @@ DOCUMENTATION
The documentation (a tutorial and a reference manual) is in
the file doc/manual.pdf.
Various examples can be found in the subdirectories theories/ and
examples/.
Various examples can be found in the subdirectories theories/
and examples/.
Mailing list (Why3 Club):
http://lists.gforge.inria.fr/mailman/listinfo/why3-club
......@@ -30,9 +30,9 @@ COPYRIGHT
This program is distributed under the GNU LGPL 2.1. See the enclosed
file LICENSE.
The files src/util/stdlib.ml{i} are derived from the sources of OCaml
3.12 standard library, and are distributed under the GNU LGPL version
xx (see file OCAML-LICENSE).
The files src/util/stdlib.ml{i} are derived from the sources of
OCaml 3.12 standard library, and are distributed under the GNU
LGPL version 2 (see file OCAML-LICENSE).
INSTALLATION
============
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment