[Pkg-ocaml-maint-commits] [ssreflect] 03/07: Merge tag 'upstream/1.5_rc1'

[Stéphane Glondu]

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

glondu pushed a commit to branch master
in repository ssreflect.

commit 8b3bece2b7f21707a750ccab17e725247287cc21
Merge: f480357 69c436c
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Aug 10 20:41:54 2013 +0200

    Merge tag 'upstream/1.5_rc1'
    
    Upstream version 1.5~rc1

 ANNOUNCE                    |    2 +-
 AUTHORS                     |    2 +-
 INSTALL                     |    2 +-
 MANIFEST                    |   53 -
 Make                        |   53 -
 Makefile                    |   70 +-
 src/ssreflect.ml4           |  460 ++--
 src/ssrmatching.ml4         |   55 +-
 theories/abelian.v          | 2162 ---------------
 theories/action.v           | 2720 -------------------
 theories/alt.v              |  529 ----
 theories/automorphism.v     |  490 ----
 theories/bigop.v            | 1772 -------------
 theories/binomial.v         |  524 ----
 theories/center.v           |  647 -----
 theories/commutator.v       |  363 ---
 theories/cyclic.v           |  866 ------
 theories/div.v              |  938 -------
 theories/eqtype.v           |    9 +-
 theories/extraspecial.v     |  834 ------
 theories/extremal.v         | 2332 ----------------
 theories/falgebra.v         | 1077 --------
 theories/fieldext.v         | 1727 ------------
 theories/finalg.v           | 1298 ---------
 theories/finfun.v           |  306 ---
 theories/fingraph.v         |  722 -----
 theories/fingroup.v         | 3102 ----------------------
 theories/finmodule.v        |  614 -----
 theories/finset.v           | 2213 ----------------
 theories/fintype.v          |   25 +-
 theories/frobenius.v        |  780 ------
 theories/generic_quotient.v |  664 -----
 theories/gfunctor.v         |  482 ----
 theories/gproduct.v         | 1705 ------------
 theories/gseries.v          |  547 ----
 theories/hall.v             |  896 -------
 theories/intdiv.v           | 1064 --------
 theories/jordanholder.v     |  679 -----
 theories/matrix.v           | 2873 --------------------
 theories/maximal.v          | 1657 ------------
 theories/morphism.v         | 1539 -----------
 theories/mxabelem.v         | 1058 --------
 theories/mxalgebra.v        | 2769 -------------------
 theories/mxpoly.v           | 1076 --------
 theories/mxrepresentation.v | 5854 ----------------------------------------
 theories/nilpotent.v        |  741 ------
 theories/path.v             |  892 -------
 theories/perm.v             |  577 ----
 theories/pgroup.v           | 1356 ----------
 theories/poly.v             | 2565 ------------------
 theories/polydiv.v          | 3416 ------------------------
 theories/presentation.v     |  255 --
 theories/prime.v            | 1390 ----------
 theories/primitive_action.v |  348 ---
 theories/quotient.v         |  973 -------
 theories/rat.v              |  782 ------
 theories/seq.v              |   38 +-
 theories/ssralg.v           | 6175 -------------------------------------------
 theories/ssrbool.v          |   33 +-
 theories/ssreflect.v        |    2 +
 theories/ssrfun.v           |  157 +-
 theories/ssrint.v           | 1759 ------------
 theories/ssrnum.v           | 4097 ----------------------------
 theories/sylow.v            |  676 -----
 theories/tuple.v            |  414 ---
 theories/vector.v           | 2040 --------------
 theories/zmodp.v            |  363 ---
 67 files changed, 570 insertions(+), 78089 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ssreflect.git