]>
2005-01-11 | Stefano Zacchiroli | snapshot, notably: | blob | commitdiff | raw |
2004-11-09 | Stefano Zacchiroli | snapshot, notably: | blob | commitdiff | raw | diff to current |
2004-11-03 | Stefano Zacchiroli | snapshot (notably: ported to mysql instead of dbi) | blob | commitdiff | raw | diff to current |
2004-10-27 | Stefano Zacchiroli | snapshot, notably: | blob | commitdiff | raw | diff to current |
2004-10-06 | Stefano Zacchiroli | snapshot (notably: implemented "check") | blob | commitdiff | raw | diff to current |
2004-10-04 | Stefano Zacchiroli | snapshot | blob | commitdiff | raw | diff to current |
2004-10-01 | Stefano Zacchiroli | snapshot | blob | commitdiff | raw | diff to current |
2004-04-28 | Stefano Zacchiroli | snapshot | blob | commitdiff | raw | diff to current |
2004-04-23 | Stefano Zacchiroli | snapshot | blob | commitdiff | raw | diff to current |
2004-04-20 | Stefano Zacchiroli | renamed mathita to matita | blob | commitdiff | raw | diff to current |