]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matitaInit.ml
removing old contribs
[helm.git] / helm / software / matita / matitaInit.ml
2009-10-12 Enrico Tassinew standard library inside path
2009-09-29 Enrico Tassi...
2009-06-19 Claudio Sacerdoti... Persistent db (to lookup names in the library) ineffici...
2009-04-16 Ferruccio GuidiProcedural: we corrected two errors about the handling...
2009-01-13 Enrico Tassimany changes regarding coercions:
2008-11-27 Enrico Tassi1. grafiteDisambiguator => multiPassDisambiguator
2008-07-22 Ferruccio Guidimatitadep: we now handle the inline of an uri, we remov...
2008-07-21 Ferruccio Guidiwe implemented the support for generating ma files...
2008-07-21 Enrico Tassiadd conf key matita.debug_menu
2008-03-05 Enrico Tassifrom now on, export MATITA_EXTRACT=true to extract
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-12-04 Enrico Tassiadded do_heavy_checks default
2007-11-16 Enrico Tassifix -noinnertypes set to true!
2007-11-16 Enrico Tassiadded default for matita.noiinertypes
2007-11-16 Enrico Tassiadded -noinnertypes
2007-11-15 Enrico Tassiadded --version to allow help2man
2007-09-22 Ferruccio Guidi- system flag now forks for matitadep too
2007-09-21 Ferruccio Guidibug fix in configuration dependences
2007-09-05 Ferruccio Guidi- lybrarySync:
2007-09-05 Ferruccio Guidi- matitaInit matitaprover matitadep matitamake:
2007-07-20 Claudio Sacerdoti... Initialization of matita.map_unicode_to_tex moved from...
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-04-20 Enrico Tassifixed paths and prefixes of included files
2006-09-27 Enrico Tassifixed bug regarding developments. paths given with...
2006-07-22 Enrico Tassimatitaprover
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/