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

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

commit f209662275c567f867cba91c26074914e8d7b5de
Merge: cfe4262 a77bca8
Author: Stephane Glondu <st...@glondu.net>
Date:   Thu Dec 5 07:55:13 2013 +0100

    Merge tag 'upstream/0.4'
    
    Upstream version 0.4

 Caveats.v       |   3 +
 Makefile        |  11 ++-
 Tutorial.v      |  33 +++++++++
 aac.mlpack      |   1 +
 coq.ml          |   2 +
 coq.mli         |   1 +
 evm_compute.ml  | 221 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 evm_compute.mli |  11 +++
 rewrite.ml4     |  47 ++++++++++++
 9 files changed, 327 insertions(+), 3 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