This is an automated email from the git hooks/post-receive script.

nicoo-guest pushed a commit to branch master
in repository aac-tactics.

commit a3a7c528787411373bb857af4b51f3003f9fcc2b
Merge: 2614d6d 17564e4
Author: Nicolas Braud-Santoni <nico...@braud-santoni.eu>
Date:   Sat Jul 23 16:22:24 2016 -0400

    Merge tag 'upstream/8.5.1'
    
    Upstream version 8.5.1

 AAC.v                    |   1 +
 CHANGELOG                |   5 --
 Caveats.v                |   3 -
 Instances.v              |  31 ++++---
 Make                     |  21 +++++
 Makefile                 |  38 ++------
 README.txt => README     |  24 +----
 Tutorial.v               |  33 -------
 aac.mlpack               |   1 -
 coq.ml                   |  60 +++++++------
 coq.mli                  |   6 +-
 description              |  15 ++++
 evm_compute.ml           | 221 -----------------------------------------------
 evm_compute.mli          |  11 ---
 files.txt                |  11 ---
 matcher.ml               |   2 +-
 print.ml                 |   4 +-
 print.mli                |   2 +-
 rewrite.ml4              |  95 ++++++--------------
 print.mli => rewrite.mli |  16 +---
 theory.ml                |  88 +++++++++++++++----
 theory.mli               |   2 +-
 22 files changed, 204 insertions(+), 486 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

Reply via email to