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 cc7ea96b10e6ecebf0fac1140583ddddc0eccdb2 Merge: e00e75a 68b59a7 Author: Hendrik Tews <hend...@askra.de> Date: Wed Aug 14 22:04:21 2013 +0200 Merge tag 'upstream/20130811' Upstream version 20130811 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 + 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 +- 54 files changed, 20691 insertions(+), 2352 deletions(-) -- 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