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
_______________________________________________
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
