]>
2005-06-28 | Claudio Sacerdoti... | matitatop | blob | commitdiff | raw |
2005-06-16 | Claudio Sacerdoti... | matita.conf.xml added | blob | commitdiff | raw | diff to current |
2005-04-27 | Stefano Zacchiroli | checked in new version of matita from svn | blob | commitdiff | raw | diff to current |
2005-04-27 | Stefano Zacchiroli | removed all old matita files (kept in attic) | blob | commitdiff | raw |
2005-01-18 | Stefano Zacchiroli | snapshot, notably: | blob | commitdiff | raw | diff to current |
2004-04-20 | Stefano Zacchiroli | renamed mathita to matita | blob | commitdiff | raw | diff to current |