This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir.
commit 9c677a9f834ab64d1520feb2d2158780fca9ade0 Merge: ce2a1ab c275369 Author: Ralf Treinen <trei...@free.fr> Date: Wed Dec 13 08:16:20 2017 +0100 Update upstream source from tag 'upstream/20171206' Update to upstream version '20171206' with Debian dir 3e88717849892e71cb5a14003f9ad8c9200956a8 CHANGES.md | 13 + doc/main.tex | 38 +- doc/version.tex | 2 +- manual.pdf | Bin 433419 -> 433383 bytes src/CheckSafeParameterizedGrammar.ml | 184 +++++ ...ption.mli => CheckSafeParameterizedGrammar.mli} | 12 +- src/Drop.ml | 146 ++++ src/{option.mli => Drop.mli} | 10 +- src/{option.mli => GroundSort.ml} | 13 +- src/{parameterizedGrammar.mli => GroundSort.mli} | 22 +- src/META | 2 +- src/Memoize.ml | 63 ++ src/{option.ml => Memoize.mli} | 45 +- src/SelectiveExpansion.ml | 523 ++++++++++++++ src/SelectiveExpansion.mli | 38 + src/SortInference.ml | 269 +++++++ src/{option.mli => SortInference.mli} | 14 +- src/SortUnification.ml | 142 ++++ src/SortUnification.mli | 64 ++ src/StaticVersion.ml | 2 +- src/StaticVersion.mli | 2 +- src/Unifier.ml | 195 +++++ src/Unifier.mli | 75 ++ src/front.ml | 41 +- src/invariant.ml | 6 +- src/misc.ml | 108 +-- src/misc.mli | 69 +- src/option.ml | 16 + src/option.mli | 2 + src/parameterizedGrammar.ml | 784 --------------------- src/parameters.ml | 45 +- src/partialGrammar.ml | 27 +- src/{syntax.mli => syntax.ml} | 0 src/unionFind.ml | 65 +- src/unionFind.mli | 21 +- src/unparameterizedSyntax.ml | 2 +- src/version.ml | 2 +- 37 files changed, 2036 insertions(+), 1026 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits