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

[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 7a6a8aa540eced6e9173f0752997b0d7dabe2801
Merge: c1db1ae 5c800a2
Author: Hendrik Tews <hendrik at askra.de>
Date:   Tue Oct 24 22:16:17 2017 +0200

    Merge tag 'upstream/20171023'
    
    Upstream version 20171023

 Boyer_Moore/README                                 |    18 +-
 CHANGES                                            |    57 +
 Formal_ineqs/README.md                             |    10 +-
 Help/HYP_TAC.doc                                   |     0
 IsabelleLight/README                               |     9 +-
 Library/grouptheory.ml                             |  1581 +-
 Library/prime.ml                                   |    32 -
 Multivariate/complex_database.ml                   |    80 +
 Multivariate/cvectors.ml                           |     0
 Multivariate/homology.ml                           |  3776 +++++
 Multivariate/metric.ml                             | 15415 ++++++++++---------
 Multivariate/multivariate_database.ml              |    80 +
 Multivariate/topology.ml                           |    14 +-
 Ntrie/ntrie.ml                                     |  1377 +-
 Ntrie/ntrie_tests.ml                               |   181 -
 Proofrecording/hol_light/Makefile                  |    74 +-
 Proofrecording/tools/detecteq.jar                  |   Bin 7516 -> 0 bytes
 Proofrecording/tools/nametheorems.jar              |   Bin 2482 -> 0 bytes
 Proofrecording/tools/src/Makefile                  |    13 +
 .../TarskiAxiomGeometry_read.ml                    |     0
 database.ml                                        |     9 +
 holtest                                            |     1 +
 holtest.mk                                         |     1 +
 int.ml                                             |    34 +-
 parser.ml                                          |    26 +-
 sets.ml                                            |    19 +
 26 files changed, 14834 insertions(+), 7973 deletions(-)

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