This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir.
commit 16b1d5b9d6b2ad58fa258221cda67c455756b8fc Merge: 674903e 97643f5 Author: Ralf Treinen <trei...@irif.fr> Date: Wed Jul 12 11:52:42 2017 +0200 Merge tag 'upstream/20170712' Upstream version 20170712 CHANGES.md | 8 + doc/Makefile | 17 + doc/declarations-onerrorreduce.mly | 10 + doc/declarations-phantom.mly | 9 + doc/declarations.mly | 9 + doc/fppdf.sty | 37 + doc/local.bib | 228 ++ doc/macros.tex | 176 ++ doc/main.tex | 4009 ++++++++++++++++++++++++++++++++++++ doc/mymacros.sty | 30 + doc/plain.bst | 1106 ++++++++++ doc/sigplanconf.cls | 1069 ++++++++++ doc/version.tex | 1 + doc/whizzy.el | 8 + doc/whizzy.sh | 10 + doc/whizzy.sty | 4 + manual.pdf | Bin 0 -> 433418 bytes src/META | 2 +- src/StaticVersion.ml | 2 +- src/StaticVersion.mli | 2 +- src/version.ml | 2 +- 21 files changed, 6735 insertions(+), 4 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