From: WANG <wang@wang-OptiPlex-780.(none)>
Date: Mon, 23 Sep 2013 14:49:47 +0000 (+0200)
Subject: Replace Sys.time by Unix.time in main.ml.
X-Git-Url: https://scm.cri.mines-paristech.fr/git/Faustine.git/commitdiff_plain/912dbfbf1eb4809f28e4e3a8bdfe76c47e018259?hp=912dbfbf1eb4809f28e4e3a8bdfe76c47e018259

Replace Sys.time by Unix.time in main.ml.
Modify the input/output type of functions in morpho.lib from vector to matrix.
---