[Pkg-ocaml-maint-commits] [ssreflect] 02/04: Merge tag 'upstream/1.5'
Stéphane Glondu
glondu at moszumanska.debian.org
Thu Mar 13 13:52:11 UTC 2014
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 <steph at 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
More information about the Pkg-ocaml-maint-commits
mailing list