]>
2009-07-01 | denes | Fixed type of bag | blob | commitdiff | raw |
2009-06-30 | Enrico Tassi | parallel | blob | commitdiff | raw | diff to current |
2009-06-30 | Enrico Tassi | attempt of using 2 different orderings | blob | commitdiff | raw | diff to current |
2009-06-26 | Andrea Asperti | the timeout is passed to test last chance | blob | commitdiff | raw | diff to current |
2009-06-25 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2009-06-25 | Enrico Tassi | better doc | blob | commitdiff | raw | diff to current |
2009-06-25 | Enrico Tassi | timeouts are passed as arguments, so that tptpprover can | blob | commitdiff | raw | diff to current |
2009-06-25 | Enrico Tassi | the prover is almost OK, types in fuctors a bit extended to | blob | commitdiff | raw | diff to current |
2009-06-25 | Enrico Tassi | matitaprover is almost there | blob | commitdiff | raw | diff to current |
2009-06-25 | Enrico Tassi | initial import of standalone matitaprover binary | blob | commitdiff | raw | diff to current |