Update from HH master
authorCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Fri, 30 Aug 2013 09:32:28 +0000 (11:32 +0200)
committerCezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Fri, 30 Aug 2013 09:32:28 +0000 (11:32 +0200)
commit083b3d93c9462bb3079943fbbeac235b1841e69b
treeb308173d7fcea819f03dd2e10b3a11742f980a0f
Update from HH
27 files changed:
Multivariate/canal.ml [new file with mode: 0644]
Multivariate/cauchy.ml [new file with mode: 0644]
Multivariate/clifford.ml [new file with mode: 0644]
Multivariate/complex_database.ml [new file with mode: 0644]
Multivariate/complexes.ml [new file with mode: 0644]
Multivariate/convex.ml [new file with mode: 0644]
Multivariate/cross.ml [new file with mode: 0644]
Multivariate/derivatives.ml [new file with mode: 0644]
Multivariate/determinants.ml [new file with mode: 0644]
Multivariate/dimension.ml [new file with mode: 0644]
Multivariate/flyspeck.ml [new file with mode: 0644]
Multivariate/geom.ml [new file with mode: 0644]
Multivariate/integration.ml [new file with mode: 0644]
Multivariate/make_complex.ml [new file with mode: 0644]
Multivariate/measure.ml [new file with mode: 0644]
Multivariate/misc.ml [new file with mode: 0644]
Multivariate/multivariate_database.ml [new file with mode: 0644]
Multivariate/paths.ml [new file with mode: 0644]
Multivariate/polytope.ml [new file with mode: 0644]
Multivariate/realanalysis.ml [new file with mode: 0644]
Multivariate/tarski.ml [new file with mode: 0644]
Multivariate/topology.ml [new file with mode: 0644]
Multivariate/transcendentals.ml [new file with mode: 0644]
Multivariate/vectors.ml [new file with mode: 0644]
Multivariate/wlog.ml [new file with mode: 0644]
Multivariate/wlog_examples.ml [new file with mode: 0644]
make.ml [new file with mode: 0644]