]>
2006-02-06 | Stefano Zacchiroli | removed papers that have been moved to the new "papers... | blob | commitdiff | raw |
2005-11-24 | Claudio Sacerdoti... | Da capo (matita2.tex). | blob | commitdiff | raw |
2005-11-16 | Stefano Zacchiroli | ignore bibtex litter | blob | commitdiff | raw | diff to current |
2005-11-10 | Stefano Zacchiroli | added Makefile, llncs style, cvsignore | blob | commitdiff | raw | diff to current |