colo12-c703.uibk.ac.at Git - Emf193/.git/blob - make.ml

git://colo12-c703.uibk.ac.at / Emf193/.git / blob

summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD

[Emf193/.git] / make.ml

1 List.iter needs ["Multivariate/make_complex.ml";"Multivariate/geom.ml"; "Multivariate/cross.ml";"Multivariate/wlog.ml"];;\r

2 needs "top.ml";;\r

Unnamed repository; edit this file 'description' to name the repository.