]> 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
Dead code removed.
[helm.git] / helm / matita / scripts /
2006-01-10 Enrico TassiLIMIT 0,-1 no more valid --> removed tree | commitdiff
2005-12-26 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassibeauty\! tree | commitdiff
2005-12-24 Enrico Tassibeauty\! tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassimore fix tree | commitdiff
2005-12-24 Enrico Tassifix tree | commitdiff
2005-12-24 Enrico Tassiattempt to move nightly profiling to svn tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-22 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassifix tree | commitdiff
2005-12-21 Enrico Tassibench tree | commitdiff
2005-12-21 Enrico Tassi__ files are removed tree | commitdiff
2005-12-13 Enrico Tassione more try tree | commitdiff
2005-12-13 Enrico Tassiaaaa tree | commitdiff
2005-12-13 Enrico Tassifix tree | commitdiff
2005-12-13 Enrico Tassi... tree | commitdiff
2005-12-13 Enrico Tassifix tree | commitdiff
2005-12-13 Enrico Tassi... tree | commitdiff
2005-12-13 Enrico Tassifixed_names tree | commitdiff
2005-12-13 Enrico Tassifixed_names tree | commitdiff
2005-11-25 Stefano ZacchiroliBug fixed: removal of .__log was not always attempted. tree | commitdiff
2005-11-16 Claudio Sacerdoti... do_test.sh no longer prints the compiler options (used... tree | commitdiff
2005-11-16 Claudio Sacerdoti... New framework for regression of bad tests. tree | commitdiff
2005-11-02 Claudio Sacerdoti... Maybe this time we will be lucky. tree | commitdiff
2005-11-02 Enrico Tassifix tree | commitdiff
2005-10-31 Claudio Sacerdoti... Bugs fixed. tree | commitdiff
2005-10-29 Claudio Sacerdoti... Bug fixed: the wrong mark was chosen for yesterday. tree | commitdiff
2005-10-28 Claudio Sacerdoti... Ported to multiple marks in the same day: today newest... tree | commitdiff
2005-10-28 Claudio Sacerdoti... New "global performances" bench (for native code). tree | commitdiff
2005-10-28 Claudio Sacerdoti... 1. syntax error fixed tree | commitdiff
2005-10-28 Claudio Sacerdoti... sql query fixed tree | commitdiff
2005-10-28 Claudio Sacerdoti... Better detection of spurious status lines. tree | commitdiff
2005-10-28 Claudio Sacerdoti... Mark fixed. tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-28 Claudio Sacerdoti... New format for benches (with much more precision). tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-10-28 Enrico Tassifix tree | commitdiff
2005-09-26 Enrico Tassifix WE HAVE NO UNIVERSE tree | commitdiff
2005-09-22 Claudio Sacerdoti... Profiling messages grepped out. tree | commitdiff
2005-09-22 Claudio Sacerdoti... ... tree | commitdiff
2005-07-19 Claudio Sacerdoti... Bench fixed. tree | commitdiff
2005-07-19 Claudio Sacerdoti... Used to left temporary file if something failed. tree | commitdiff
2005-07-19 Claudio Sacerdoti... do_tests.sh now returns with an error if one of the... tree | commitdiff
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
next
Unnamed repository; edit this file 'description' to name the repository.