]>
2007-09-22 | Ferruccio Guidi | - system flag now forks for matitadep too | blob | commitdiff | raw |
2006-10-06 | Enrico Tassi | fixed all (that now uses long paths) | blob | commitdiff | raw | diff to current |
2006-10-06 | Enrico Tassi | now the makefile for developments requires the depend... | blob | commitdiff | raw | diff to current |
2006-09-21 | Stefano Zacchiroli | added generation of the .dot version of development... | blob | commitdiff | raw | diff to current |
2006-09-06 | Enrico Tassi | Bugs fixed: | blob | commitdiff | raw | diff to current |
2006-03-29 | Enrico Tassi | few bits to debug the benchmark system | blob | commitdiff | raw | diff to current |
2006-03-17 | Enrico Tassi | tests are now handled with a standard Makefile that... | blob | commitdiff | raw | diff to current |
2006-02-07 | Stefano Zacchiroli | removed useless grepping -v | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |