[Pkg-ocaml-maint-commits] [hol-light] 02/06: Merge tag 'upstream/20130811'

[Hendrik Tews]

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

hendrik-guest pushed a commit to branch master
in repository hol-light.

commit cc7ea96b10e6ecebf0fac1140583ddddc0eccdb2
Merge: e00e75a 68b59a7
Author: Hendrik Tews <hendrik at askra.de>
Date:   Wed Aug 14 22:04:21 2013 +0200

    Merge tag 'upstream/20130811'
    
    Upstream version 20130811

 100/independence.ml                                |    2 +-
 CHANGES                                            |  190 +
 Examples/borsuk.ml                                 |    4 +-
 Help/MATCH_MP_TAC.doc                              |    2 +-
 Help/TRANS.doc                                     |    2 +-
 Help/TRANS_TAC.doc                                 |   57 +
 Library/card.ml                                    |   57 +-
 Library/floor.ml                                   |   54 +
 Library/iter.ml                                    |    5 +
 Library/products.ml                                |   15 +
 Multivariate/canal.ml                              |   72 +-
 Multivariate/cauchy.ml                             |  711 ++-
 Multivariate/complex_database.ml                   |  549 ++-
 Multivariate/complexes.ml                          |    5 +
 Multivariate/convex.ml                             | 1134 ++++-
 Multivariate/cross.ml                              |   35 +-
 Multivariate/derivatives.ml                        |  132 +-
 Multivariate/determinants.ml                       |  691 ++-
 Multivariate/dimension.ml                          |  636 ++-
 Multivariate/flyspeck.ml                           |  708 ++-
 Multivariate/geom.ml                               |   46 +
 Multivariate/integration.ml                        |    2 +-
 Multivariate/measure.ml                            |   65 +-
 Multivariate/multivariate_database.ml              |  435 +-
 Multivariate/paths.ml                              | 3477 ++++++++++++--
 Multivariate/polytope.ml                           |  441 +-
 Multivariate/realanalysis.ml                       | 4768 +++++++++++++++++---
 Multivariate/topology.ml                           | 2090 +++++++--
 Multivariate/transcendentals.ml                    |  663 ++-
 Multivariate/vectors.ml                            |  377 +-
 RichterHilbertAxiomGeometry/HilbertAxiom_read.ml   | 3603 +++++++++++++++
 RichterHilbertAxiomGeometry/README                 |   50 +-
 .../UniversalPropCartProd.ml                       |  116 +
 RichterHilbertAxiomGeometry/error-checking.ml      |  137 +
 .../inverse_bug_puzzle_read.ml                     |  519 +++
 .../{ => miz3}/FontHilbertAxiom.ml                 |  370 +-
 .../{ => miz3}/HilbertAxiom.ml                     |   34 +-
 RichterHilbertAxiomGeometry/{ => miz3}/Miz3Tips    |   18 +-
 RichterHilbertAxiomGeometry/miz3/README            |   22 +
 .../{ => miz3}/hol-light-fonts.el                  |    0
 .../{ => miz3}/hol-light-fonts.elc                 |  Bin 8617 -> 8617 bytes
 RichterHilbertAxiomGeometry/{ => miz3}/make.ml     |    2 +-
 RichterHilbertAxiomGeometry/readable.ml            |  555 +++
 RichterHilbertAxiomGeometry/thmFontHilbertAxiom.ml |   38 +-
 cart.ml                                            |   26 +-
 database.ml                                        |   13 +
 hol.ml                                             |    2 +
 holtest                                            |    4 +-
 int.ml                                             |   16 +-
 miz3/bin/miz3                                      |    2 +-
 miz3/miz3.ml                                       |    2 +-
 real.ml                                            |   13 +
 sets.ml                                            |   59 +-
 tactics.ml                                         |   17 +-
 54 files changed, 20691 insertions(+), 2352 deletions(-)

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