]>
2005-11-08 | Claudio Sacerdoti... | CicTypeChecker.AssertFailure now printed. | blob | commitdiff | raw |
2005-11-03 | Claudio Sacerdoti... | More exceptions pretty printed. | blob | commitdiff | raw | diff to current |
2005-10-25 | Claudio Sacerdoti... | ProofEngineTypes.Fail printed correctly. | blob | commitdiff | raw | diff to current |
2005-10-25 | Stefano Zacchiroli | new tacticals | blob | commitdiff | raw | diff to current |
2005-09-26 | Stefano Zacchiroli | - added integrity checks on .moo files | blob | commitdiff | raw | diff to current |
2005-07-20 | Enrico Tassi | better handling of backgroud compiler process | blob | commitdiff | raw | diff to current |
2005-07-18 | Stefano Zacchiroli | merged cic_notation with matita: good luck! | blob | commitdiff | raw | diff to current |
2005-07-05 | Stefano Zacchiroli | ported to new getter interface | blob | commitdiff | raw | diff to current |
2005-06-29 | Enrico Tassi | fix | blob | commitdiff | raw | diff to current |