[Pkg-ocaml-maint-commits] [aac-tactics] 01/06: Merge tag 'upstream/8.6'

[Enrico Tassi]

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 <gareuselesinge at 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