projects / helm.git / history
| 2006-01-09 | Stefano Zacchiroli | changes location of coq.ma (now "legacy/coq.ma") | tree | commitdiff |
| 2006-01-08 | Claudio Sacerdoti... | .cvsignore files removed (the svn:property property... | tree | commitdiff |
| 2005-12-22 | Claudio Sacerdoti... | Makefiles made less verbose. | tree | commitdiff |
| 2005-12-21 | Claudio Sacerdoti... | ... | tree | commitdiff |
| 2005-12-21 | Enrico Tassi | fixed -f in clean | tree | commitdiff |
| 2005-12-21 | Enrico Tassi | __ files are removed | tree | commitdiff |
| 2005-12-15 | marangon | ... | tree | commitdiff |
| 2005-12-14 | Enrico Tassi | rm .depend | tree | commitdiff |
| 2005-12-14 | Enrico Tassi | added -I../.. | tree | commitdiff |
| 2005-11-16 | Claudio Sacerdoti... | New framework for regression of bad tests. | tree | commitdiff |
| 2005-11-15 | Claudio Sacerdoti... | New directory for bad tests with checks on the error... | tree | commitdiff |