]>
2004-04-22 | Stefano Zacchiroli | snapshot | tree | commitdiff |
2004-04-22 | Stefano Zacchiroli | snapshot | tree | commitdiff |
2004-04-20 | Stefano Zacchiroli | added ocamlfind library checks to configure.ac | tree | commitdiff |
2004-04-20 | Stefano Zacchiroli | renamed mathita to matita | tree | commitdiff |