]> matita.cs.unibo.it Git - helm.git/history - matita/matitaInit.ml
improved coercions support:
[helm.git] / matita / matitaInit.ml
2006-03-22 Enrico Tassiprofiler on steroids. added -profile-only to specify...
2006-03-17 Enrico Tassitests are now handled with a standard Makefile that...
2006-03-15 Enrico Tassimore work for the release
2006-03-15 Enrico Tassisnapshot for release
2006-03-13 Enrico TassiHuge commit for the release. Includes:
2006-02-23 Stefano Zacchiroliadded capability to specify externally extra command...
2006-02-06 Stefano Zacchiroli- uniformed command line handling of matitamake with...
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/