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
