]>
2006-02-06 | Andrea Asperti | termine bacato. | tree | commitdiff |
2006-02-06 | Andrea Asperti | fixed usage of matita.auto_disambiguation | tree | commitdiff |
2006-02-06 | Andrea Asperti | Bug? | tree | commitdiff |
2006-02-03 | Claudio Sacerdoti... | First proof on groups completed! | tree | commitdiff |
2006-02-03 | Stefano Zacchiroli | on the fly generation of distribution configure.ac | tree | commitdiff |
2006-02-03 | Stefano Zacchiroli | moved (dummy) dist stuff into software/matita/ | tree | commitdiff |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | tree | commitdiff |