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 <st...@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 _______________________________________________ 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