]>
2005-11-15 | Stefano Zacchiroli | cic concrete syntax (w/o notation) | blob | commitdiff | raw |
2005-11-15 | Stefano Zacchiroli | tex macros, checked in disambiguation section from... | blob | commitdiff | raw | diff to current |
2005-11-14 | Andrea Asperti | Introduction, again.: | blob | commitdiff | raw | diff to current |
2005-11-14 | Andrea Asperti | Introduction (partial). | blob | commitdiff | raw | diff to current |
2005-11-14 | Andrea Asperti | Introduction. | blob | commitdiff | raw | diff to current |
2005-11-10 | Stefano Zacchiroli | paper skeleton | blob | commitdiff | raw | diff to current |
2005-11-10 | Andrea Asperti | typos | blob | commitdiff | raw | diff to current |
2005-11-10 | Andrea Asperti | Headings of the matita paper. | blob | commitdiff | raw | diff to current |