This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ssreflect.
commit aeac9cf714b9ca2b621f5d09f44ec7ea7f107ac9 Merge: 570b57a 344dec3 Author: Stephane Glondu <st...@glondu.net> Date: Thu Mar 13 13:24:06 2014 +0100 Merge tag 'upstream/1.5' Upstream version 1.5 ANNOUNCE | 21 +- INSTALL | 7 +- MANIFEST | 4 + Makefile | 12 +- extra/builddoc_lib.sh | 146 ++++++++++++ extra/coqdoc.css | 236 ++++++++++++++++++ extra/dependtodot.ml | 343 +++++++++++++++++++++++++++ extra/jc.png | Bin 0 -> 1976 bytes src/ssreflect.ml4 | 643 ++++++++++++++++++++++++++++++++++++++------------ src/ssrmatching.ml4 | 12 +- src/ssrmatching.mli | 2 +- theories/choice.v | 12 +- theories/fintype.v | 66 ++++-- theories/seq.v | 190 +++++++++------ theories/ssreflect.v | 21 ++ 15 files changed, 1445 insertions(+), 270 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.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