--- Begin Message ---
This message was created automatically by mail delivery software.
A message that you sent could not be delivered to one or more of its
recipients. This is a permanent error. The following address(es) failed:
hol-light_cvs@pts.debian.net
local delivery failed
------ This is a copy of the message, including all the headers. ------
Return-path: <hendrik-guest@alioth.debian.org>
Received: from quantz.debian.org ([206.12.19.122])
by pts.debian.net with esmtp (Exim 4.80)
(envelope-from <hendrik-guest@alioth.debian.org>)
id 1VAHAv-00032T-Ua
for hol-light_cvs@pts.debian.net; Fri, 16 Aug 2013 10:22:34 +0000
Received: from qa by quantz.debian.org with local (Exim 4.72)
(envelope-from <hendrik-guest@alioth.debian.org>)
id 1VAHC5-0006YK-Dq
for hol-light_cvs@pts.debian.net; Fri, 16 Aug 2013 10:23:45 +0000
Received: from wagner.debian.org ([217.196.43.132])
by quantz.debian.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16)
(Exim 4.72)
(envelope-from <hendrik-guest@alioth.debian.org>)
id 1VAHC4-0006Xy-So
for hol-light_cvs@packages.qa.debian.org; Fri, 16 Aug 2013 10:23:45 +0000
Received: from vasks.debian.org ([217.196.43.140])
by wagner.debian.org with esmtp (Exim 4.80)
(envelope-from <hendrik-guest@alioth.debian.org>)
id 1VAHBz-0000Lo-1j; Fri, 16 Aug 2013 10:23:42 +0000
Received: from hendrik-guest by vasks.debian.org with local (Exim 4.80)
(envelope-from <hendrik-guest@vasks.debian.org>)
id 1VAHBs-0002gn-Pa; Fri, 16 Aug 2013 10:23:33 +0000
To: pkg-ocaml-maint-commits@lists.alioth.debian.org
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Message-ID: <20130816102332.10282.47424@vasks.debian.org>
Reply-To: hendrik-guest@users.alioth.debian.org
X-Git-Repo: hol-light
X-Git-Refname: refs/heads/master
X-Git-Reftype: branch
X-Git-Oldrev: e00e75a99b93181b9fc62f89dba1685faab6088a
X-Git-Newrev: 90f4d63880c0aa832b38b98eb187a602329acfaa
Auto-Submitted: auto-generated
From: Hendrik Tews <hendrik-guest@alioth.debian.org>
Date: Fri, 16 Aug 2013 10:23:33 +0000
X-SA-Exim-Connect-IP: 217.196.43.140
X-SA-Exim-Mail-From: hendrik-guest@alioth.debian.org
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on wagner.debian.org
X-Spam-Level:
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_RP_MATCHES_RCVD
autolearn=ham version=3.3.2
Subject: [hol-light] branch master updated (e00e75a -> 90f4d63)
X-SA-Exim-Version: 4.2.1 (built Mon, 26 Dec 2011 16:24:06 +0000)
X-SA-Exim-Scanned: Yes (on wagner.debian.org)
Delivered-To: hol-light_cvs@packages.qa.debian.org
Sender: Debian QA <qa@quantz.debian.org>
This is an automated email from the git hooks/post-receive script.
hendrik-guest pushed a change to branch master
in repository hol-light.
from e00e75a lintian canonical vcs
new 68b59a7 Imported Upstream version 20130811
new cc7ea96 Merge tag 'upstream/20130811'
new e9531a0 fix debian/changelog
new 366cb23 update patches
new 129252e update elc path in hol-light-source.exclude
new 90f4d63 update copyright
The 6 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
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 +
debian/changelog | 11 +-
debian/copyright | 2 +-
debian/hol-light-source.exclude | 2 +-
debian/patches/default-hollight-dir | 6 +-
debian/patches/holtest-no-proof-recording.patch | 2 +-
debian/patches/include-compiler-libs.patch | 15 -
debian/patches/series | 1 -
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 +-
61 files changed, 20706 insertions(+), 2376 deletions(-)
create mode 100644 Help/TRANS_TAC.doc
create mode 100644 RichterHilbertAxiomGeometry/HilbertAxiom_read.ml
create mode 100644 RichterHilbertAxiomGeometry/UniversalPropCartProd.ml
create mode 100644 RichterHilbertAxiomGeometry/error-checking.ml
create mode 100644 RichterHilbertAxiomGeometry/inverse_bug_puzzle_read.ml
rename RichterHilbertAxiomGeometry/{ => miz3}/FontHilbertAxiom.ml (93%)
rename RichterHilbertAxiomGeometry/{ => miz3}/HilbertAxiom.ml (99%)
rename RichterHilbertAxiomGeometry/{ => miz3}/Miz3Tips (96%)
create mode 100644 RichterHilbertAxiomGeometry/miz3/README
rename RichterHilbertAxiomGeometry/{ => miz3}/hol-light-fonts.el (100%)
rename RichterHilbertAxiomGeometry/{ => miz3}/hol-light-fonts.elc (100%)
rename RichterHilbertAxiomGeometry/{ => miz3}/make.ml (53%)
create mode 100644 RichterHilbertAxiomGeometry/readable.ml
delete mode 100644 debian/patches/include-compiler-libs.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git
--- End Message ---