Commit 347028ad authored by POTTIER Francois's avatar POTTIER Francois

Some changes which I forgot to commit under svn in the "compose" branch.

Updated GNUmakefile and LICENSE to take src/composer.{ml,mli} into account. Updated CHANGES to add the Composer.
parent 821af7f6
2013/03/03:
Added an experimental "composer", a component which produces a suggested
continuation of the input when an error is encountered. Changes include:
- the Composer module itself, now part of MenhirLib;
- a new flag --compose;
- additions to the table format (tableFormat, engineTypes).
2013/03/02:
Switched to ocamlbuild. Many thanks to Daniel Weil for offering
very useful guidance.
......
......@@ -79,6 +79,7 @@ LIBFILES := \
src/packedIntArray.{ml,mli} \
src/rowDisplacement.{ml,mli} \
src/engineTypes.ml \
src/composer.{ml,mli} \
src/engine.{ml,mli} \
src/tableFormat.ml \
src/tableInterpreter.{ml,mli} \
......
......@@ -5,6 +5,7 @@ In the following, "the Library" refers to the following files:
src/packedIntArray.{ml,mli}
src/rowDisplacement.{ml,mli}
src/engineTypes.ml
src/composer.{ml,mli}
src/engine.{ml,mli}
src/tableFormat.ml
src/tableInterpreter.{ml,mli}
......
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