[Pkg-ocaml-maint-commits] [menhir] 03/05: Merge tag 'upstream/20170712'
Ralf Treinen
treinen at moszumanska.debian.org
Wed Jul 12 10:03:33 UTC 2017
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 <treinen at 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
More information about the Pkg-ocaml-maint-commits
mailing list