]>
2006-03-24 | Claudio Sacerdoti... | Unable to parse my own output. Fixed. | blob | commitdiff | raw |
2006-03-24 | Claudio Sacerdoti... | % forgot in the output | blob | commitdiff | raw | diff to current |
2006-03-24 | Claudio Sacerdoti... | Serious test for the Coq library added (name test_library). | blob | commitdiff | raw | diff to current |