]>
2005-07-18 | Stefano Zacchiroli | merged cic_notation with matita: good luck! | blob | commitdiff | raw |
2005-07-05 | Claudio Sacerdoti... | * new interface matitaTypes.mli | blob | commitdiff | raw | diff to current |
2005-04-27 | Stefano Zacchiroli | removed all old matita files (kept in attic) | blob | commitdiff | raw |
2005-03-09 | Stefano Zacchiroli | support for terms with metas in check | blob | commitdiff | raw | diff to current |
2005-02-14 | Enrico Tassi | added choose_uri method to console, used by the interpr... | blob | commitdiff | raw | diff to current |
2005-02-09 | Stefano Zacchiroli | added script support a la coqide | blob | commitdiff | raw | diff to current |
2005-02-04 | Stefano Zacchiroli | snapshot, notably: | blob | commitdiff | raw | diff to current |
2005-02-01 | Stefano Zacchiroli | snapshot, notably: | blob | commitdiff | raw | diff to current |
2005-01-20 | Stefano Zacchiroli | snapshot, notably: | blob | commitdiff | raw | diff to current |
2005-01-18 | Stefano Zacchiroli | snapshot, notably: | blob | commitdiff | raw | diff to current |