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