]>
2006-06-14 | Enrico Tassi | relocation of developments.png | blob | commitdiff | raw |
2006-06-10 | Stefano Zacchiroli | consistent naming of the calculus | blob | commitdiff | raw | diff to current |
2006-06-08 | Stefano Zacchiroli | the Matita manual is now convertible to a decent .tex... | blob | commitdiff | raw | diff to current |
2006-06-08 | Enrico Tassi | developments added | blob | commitdiff | raw | diff to current |
2006-06-07 | Stefano Zacchiroli | Attempt to make our markup respect the docbook specific... | blob | commitdiff | raw | diff to current |
2006-06-05 | Claudio Sacerdoti... | Record syntax is now described. | blob | commitdiff | raw | diff to current |
2006-05-26 | Claudio Sacerdoti... | Documentation fixed. | blob | commitdiff | raw | diff to current |
2006-05-26 | Claudio Sacerdoti... | New documentation. | blob | commitdiff | raw | diff to current |
2006-05-25 | Claudio Sacerdoti... | More documentation. | blob | commitdiff | raw | diff to current |