]>
2003-09-23 | Claudio Sacerdoti... | ProofEngine.proof is now an abstract data type (since... | blob | commitdiff | raw |
2003-09-05 | Stefano Zacchiroli | Defs in context may now have an optional type (when... | blob | commitdiff | raw | diff to current |
2002-07-01 | Stefano Zacchiroli | - added Ring tactic on reals | blob | commitdiff | raw | diff to current |
2002-06-12 | Claudio Sacerdoti... | * Abst removed from the DTD | blob | commitdiff | raw | diff to current |
2002-05-20 | Claudio Sacerdoti... | Many many improvements: | blob | commitdiff | raw | diff to current |
2002-04-19 | Claudio Sacerdoti... | * The interface of CicTypeChecker now allows the usage... | blob | commitdiff | raw | diff to current |
2002-04-16 | Claudio Sacerdoti... | * Many improvements | blob | commitdiff | raw | diff to current |
2002-04-05 | Claudio Sacerdoti... | * Many improvements. | 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 |