projects / helm.git / history
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | commit | commitdiff |
| 2005-12-22 | Claudio Sacerdoti... | Makefiles made less verbose. | commit | commitdiff |
| 2005-12-21 | Enrico Tassi | fixed -f in clean | commit | commitdiff |
| 2005-12-21 | Enrico Tassi | __ files are removed | commit | commitdiff |
| 2005-12-15 | marangon | added -I ../.. (for coq.ma) | commit | commitdiff |
| 2005-11-16 | Claudio Sacerdoti... | New framework for regression of bad tests. | commit | commitdiff |
| 2005-10-06 | Claudio Sacerdoti... | NODB implemented | commit | commitdiff |
| 2005-09-05 | Claudio Sacerdoti... | LAMBDA-TYPES moved under contrib, fixed (to use the... | commit | commitdiff |