]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/matita.conf.xml.in
...
[helm.git] / helm / software / matita / matita.conf.xml.in
2008-01-11 Enrico Tassiremoved path for contribs
2008-01-11 Enrico TassiI'll talk again with ferruccio, for the moment this...
2007-12-04 Enrico Tassiadded do_heavy_checks documentation
2007-10-29 Ferruccio Guidi reverted matita db configuration fixed
2007-10-28 Enrico Tassireverted last commit
2007-10-26 Enrico Tassi...
2007-09-13 Ferruccio Guidinew matita.conf with getter entry to see the published...
2007-07-06 Enrico Tassimaxipatch for support of multiple DBs.
2007-05-23 Enrico Tassimade matita.runtime_base_dir overridable setting MATITA...
2006-09-23 Enrico Tassiadded $(USER) so that the night bench can override...
2006-06-14 Stefano Zacchirolifixed bad spellend "stantard"
2006-03-17 Enrico Tassitests are now handled with a standard Makefile that...
2006-03-15 Enrico Tassifix
2006-03-15 Enrico Tassimore work for the release
2006-03-13 Enrico TassiHuge commit for the release. Includes: