Commit 9b9a4b0b authored by POTTIER Francois's avatar POTTIER Francois

LICENSE.

parent a1f6db4e
Pipeline #146543 passed with stages
in 26 seconds
......@@ -5,13 +5,12 @@ In the following, "THE LIBRARY" refers to the following files:
2- the OCaml source files whose basename appears in the file
src/menhirLib.mlpack and whose extension is ".ml" or ".mli".
"THE COQ LIBRARY" refers to the files in the subdirectory
coq-menhirlib/.
"THE COQ LIBRARY" refers to the files in the subdirectory coq-menhirlib/.
"THE GENERATOR" refers to the files of this archive which are neither
part of THE LIBRARY, nor part of THE COQ LIBRARY, nor in the
subdirectory test/. Files in the subdirectory test/ are not covered
by this license.
"THE GENERATOR" refers to the files of this archive which are neither part of
THE LIBRARY, nor part of THE COQ LIBRARY, nor in the subdirectory test/.
The files in the subdirectory test/ are not covered by this license.
THE GENERATOR is distributed under the terms of the GNU General Public
License version 2 (included below).
......
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