]>
2002-06-12 | Claudio Sacerdoti... | * Abst removed from the DTD | blob | commitdiff | raw |
2002-06-10 | Claudio Sacerdoti... | * doubleTypeInference.ml* added. For now, it just compu... | blob | commitdiff | raw | diff to current |
2002-05-22 | Claudio Sacerdoti... | cic2acic.mli added | blob | commitdiff | raw | diff to current |
2002-05-20 | Claudio Sacerdoti... | mquery.ml now really call the execution of the query. | blob | commitdiff | raw | diff to current |
2002-04-30 | Ferruccio Guidi | basic MathQL support | blob | commitdiff | raw | diff to current |
2002-04-16 | Claudio Sacerdoti... | proofEngineReduction.ml added | blob | commitdiff | raw | diff to current |
2002-04-02 | Claudio Sacerdoti... | First commit of our future proof-assistant/proof-improv... | blob | commitdiff | raw | diff to current |