]> matita.cs.unibo.it Git - helm.git/history - matita/scripts/public_html
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
tagging rc-1
[helm.git] / matita / scripts / public_html /
2007-04-19 Claudio Sacerdoti... The night test now shows the last commits and blames... tree | commitdiff
2007-04-18 Claudio Sacerdoti... New query result diff. tree | commitdiff
2007-04-18 Claudio Sacerdoti... Only benches with the same result are compared for... tree | commitdiff
2007-04-18 Claudio Sacerdoti... Added new query to time-diff the last mark with the... tree | commitdiff
2007-01-03 Enrico Tassioder tests tree | commitdiff
2006-10-03 Enrico TassiQuery fixed to handle the cases where 0 tests are failu... tree | commitdiff
2006-09-28 Enrico Tassisolved issues regarding SQL incredible error proness tree | commitdiff
2006-03-23 Enrico Tassifix tree | commitdiff
2006-03-23 Enrico Tassifix tree | commitdiff
2006-03-22 Enrico Tassiremoved mysql_escape that should be ok.... but adds... tree | commitdiff
2006-03-21 Enrico Tassigo tree | commitdiff
2006-03-21 Enrico Tassigo tree | commitdiff
2006-03-21 Enrico Tassigo tree | commitdiff
2006-03-21 Enrico Tassiadded raw query form tree | commitdiff
2006-03-20 Enrico Tassifix tree | commitdiff
2006-03-17 Enrico Tassigo tree | commitdiff
2006-03-17 Enrico Tassigo tree | commitdiff
2006-03-17 Enrico Tassigo tree | commitdiff
2006-03-16 Enrico Tassimoved to the new table tree | commitdiff
2006-03-16 Enrico Tassifix tree | commitdiff
2006-02-03 Stefano Zacchiroli- renamed ocaml/ to components/ tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.