Commit 491ee887 authored by POTTIER Francois's avatar POTTIER Francois

Updated LICENSE to no longer explicitly list the components of MenhirLib.

parent ef27426f
In the following, "the Library" refers to the following files:
src/standard.mly
src/Convert.{ml,mli}
src/Engine.{ml,mli}
src/EngineTypes.ml
src/General.{ml,mli}
src/IncrementalEngine.ml
src/InfiniteArray.{ml,mli}
src/InspectionTableFormat.ml
src/InspectionTableInterpreter.{ml,mli}
src/LinearizedArray.{ml,mli}
src/PackedIntArray.{ml,mli}
src/Printers.{ml,mli}
src/RowDisplacement.{ml,mli}
src/TableFormat.ml
src/TableInterpreter.{ml,mli}
while "the Generator" refers to all other files in this archive.
1- the file src/standard.mly;
2- the OCaml source files whose basename appears in src/menhirLib.mlpack and
whose extension is ".ml" or ".mli".
"The Generator" refers to all other files in this archive.
The Generator is distributed under the terms of the Q Public License
version 1.0 with a change to choice of law (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