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

[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 5ab99dcd96f757b92d49885b34f50235f6dcad4a
Merge: 90f4d63 fc867d4
Author: Hendrik Tews <hendrik at askra.de>
Date:   Sun Nov 10 19:27:38 2013 +0100

    Merge tag 'upstream/20131026'
    
    Upstream version 20131026

 100/pick.ml                                        |    2 +-
 Arithmetic/derived.ml                              |  524 +-
 Arithmetic/fol.ml                                  |   46 +
 Arithmetic/godel.ml                                |  119 +-
 Arithmetic/make.ml                                 |    8 +-
 Arithmetic/sigmacomplete.ml                        |  681 ++
 Arithmetic/tarski.ml                               |   20 -
 CHANGES                                            |   40 +
 Examples/borsuk.ml                                 |    2 +-
 Help/rev_splitlist.doc                             |    8 +-
 Help/splitlist.doc                                 |    2 +-
 Help/striplist.doc                                 |    6 +-
 Library/card.ml                                    |   19 +-
 Makefile                                           |    5 +-
 Multivariate/canal.ml                              |   52 +-
 Multivariate/cauchy.ml                             | 1322 +++-
 Multivariate/complex_database.ml                   |  280 +-
 Multivariate/convex.ml                             |  372 +-
 Multivariate/determinants.ml                       |    5 +
 Multivariate/dimension.ml                          | 6594 +++++++++---------
 Multivariate/make_complex.ml                       |    1 +
 Multivariate/misc.ml                               |   64 +-
 Multivariate/moretop.ml                            | 7268 ++++++++++++++++++++
 Multivariate/multivariate_database.ml              |  207 +-
 Multivariate/paths.ml                              | 1698 ++++-
 Multivariate/polytope.ml                           |   10 +
 Multivariate/realanalysis.ml                       | 5566 +--------------
 Multivariate/topology.ml                           | 2780 ++++++--
 Multivariate/transcendentals.ml                    |   11 +-
 Multivariate/vectors.ml                            |   11 +
 RichterHilbertAxiomGeometry/HilbertAxiom_read.ml   |  774 +--
 RichterHilbertAxiomGeometry/README                 |    9 +-
 RichterHilbertAxiomGeometry/Topology.ml            |  161 +
 .../UniversalPropCartProd.ml                       |  304 +-
 RichterHilbertAxiomGeometry/error-checking.ml      |  289 +-
 .../inverse_bug_puzzle_read.ml                     |  132 +-
 .../miz3/hol-light-fonts.el                        |   31 +-
 .../miz3/hol-light-fonts.elc                       |  Bin 8617 -> 9289 bytes
 RichterHilbertAxiomGeometry/readable.ml            |  588 +-
 RichterHilbertAxiomGeometry/thmFontHilbertAxiom.ml |  168 +-
 cart.ml                                            |    6 +
 database.ml                                        |    2 +
 nums.ml                                            |   17 +-
 pa_j_3.1x_6.11.ml                                  | 2976 ++++++++
 sets.ml                                            |   38 +-
 45 files changed, 21560 insertions(+), 11658 deletions(-)

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