This is an automated email from the git hooks/post-receive script. gareuselesinge pushed a commit to branch master in repository aac-tactics.
commit fb74782e08217e4f1069ed99de6f6f30005bfe13 Merge: 017a43a 1117d2e Author: Enrico Tassi <gareuselesi...@debian.org> Date: Tue Dec 27 16:06:42 2016 +0000 Merge tag 'upstream/8.6' Upstream version 8.6 AAC.v | 5 +++++ Make | 2 ++ Makefile | 2 ++ coq.ml | 65 ++++++++++++++++++++++++++++++++++++------------------------- coq.mli | 6 +++--- helper.ml | 4 ++-- matcher.ml | 4 ++-- print.ml | 11 ++++++----- print.mli | 4 ++-- rewrite.ml4 | 27 +++++++++++++------------ theory.ml | 8 ++++---- theory.mli | 2 +- 12 files changed, 81 insertions(+), 59 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.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