]> matita.cs.unibo.it Git - helm.git/history - matita/library_auto/auto/Z/orders.ma
now the -bench and -system flags work for matitamake
[helm.git] / matita / library_auto / auto / Z / orders.ma
2007-05-24 Enrico Tassiauto and autogui... some work
2007-04-20 Enrico Tassiadded library_auto/ to tests.