]>
2005-12-21 | Enrico Tassi | fixed -f in clean | blob | commitdiff | raw |
2005-12-21 | Enrico Tassi | __ files are removed | blob | commitdiff | raw | diff to current |
2005-12-15 | marangon | added -I ../.. (for coq.ma) | blob | commitdiff | raw | diff to current |
2005-11-16 | Claudio Sacerdoti... | New framework for regression of bad tests. | blob | commitdiff | raw | diff to current |
2005-10-06 | Claudio Sacerdoti... | NODB implemented | blob | commitdiff | raw | diff to current |
2005-09-05 | Claudio Sacerdoti... | LAMBDA-TYPES moved under contrib, fixed (to use the... | blob | commitdiff | raw | diff to current |