matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts/crontab.sh

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/scripts/crontab.sh

2005-11-02	Claudio Sacerdoti...	Maybe this time we will be lucky.	blob \| commitdiff \| raw
2005-11-02	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-10-31	Claudio Sacerdoti...	Bugs fixed.	blob \| commitdiff \| raw \| diff to current
2005-10-29	Claudio Sacerdoti...	Bug fixed: the wrong mark was chosen for yesterday.	blob \| commitdiff \| raw \| diff to current
2005-10-28	Claudio Sacerdoti...	Ported to multiple marks in the same day: today newest...	blob \| commitdiff \| raw \| diff to current
2005-10-28	Claudio Sacerdoti...	sql query fixed	blob \| commitdiff \| raw \| diff to current
2005-10-28	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-07-08	Enrico Tassi	fixed url	blob \| commitdiff \| raw \| diff to current
2005-07-01	Enrico Tassi	in case of performace improvement there is no performac...	blob \| commitdiff \| raw \| diff to current
2005-06-29	Enrico Tassi	catches more errors	blob \| commitdiff \| raw \| diff to current
2005-06-28	Stefano Zacchiroli	bugfix: uses awk instead of cut for splitting query...	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	more detailed but less verbose and annoying report	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	snapshot	blob \| commitdiff \| raw \| diff to current
2005-06-24	Enrico Tassi	shanpshot	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.