]> matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
bugfix: "LPAREN" vs LPAREN
[helm.git] / helm / matita / scripts /
2005-07-12 Claudio Sacerdoti... Debugging comment removed. tree | commitdiff
2005-07-12 Claudio Sacerdoti... Benchmark fixed. It was broken by the change in the... tree | commitdiff
2005-07-08 Enrico Tassiadded query tree | commitdiff
2005-07-08 Enrico Tassifixed url tree | commitdiff
2005-07-06 Claudio Sacerdoti... Shell variables are all global! Fixed a bug that preven... tree | commitdiff
2005-07-05 Claudio Sacerdoti... tests/* ==> * tree | commitdiff
2005-07-05 Claudio Sacerdoti... Ported to separate compilation and the new getter imple... tree | commitdiff
2005-07-01 Enrico Tassimay fix the nigtly build tree | commitdiff
2005-07-01 Enrico Tassimore makefile work tree | commitdiff
2005-07-01 Claudio Sacerdoti... New argument: the cleaner. tree | commitdiff
2005-07-01 Enrico Tassinow maketests uses matitaclean (but not in the right... tree | commitdiff
2005-07-01 Enrico Tassiin case of performace improvement there is no performac... tree | commitdiff
2005-06-29 Enrico Tassicatches more errors tree | commitdiff
2005-06-28 Stefano Zacchirolibugfix: uses awk instead of cut for splitting query... tree | commitdiff
2005-06-27 Claudio Sacerdoti... Nicer output for the "make tests*" commands. tree | commitdiff
2005-06-27 Enrico Tassimore detailed but less verbose and annoying report tree | commitdiff
2005-06-27 Enrico Tassiminor fixes tree | commitdiff
2005-06-26 Enrico Tassithe web interface for the benchmarking system tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassifix tree | commitdiff
2005-06-24 Enrico Tassisnapshot tree | commitdiff
2005-06-24 Enrico Tassishanpshot tree | commitdiff
2005-06-24 Enrico Tassinigth-bench snapshot tree | commitdiff
2005-06-24 Enrico Tassimatita.conf.xml.sample now has a @@OWNER@@ so that... tree | commitdiff
2005-06-24 Enrico Tassiadded a getter maps updater tree | commitdiff
2005-06-24 Enrico Tassifirst snapshot of the night-profiling tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.