]> matita.cs.unibo.it Git - helm.git/history - helm/papers/matita
fix
[helm.git] / helm / papers / matita /
2005-11-16 Stefano Zacchiroli- begin{grafite} environment for script snippets
2005-11-16 Stefano Zacchiroliignore bibtex litter
2005-11-15 Stefano Zacchiroliadded content level ref
2005-11-15 Stefano Zacchiroli- draft of the first part of disambiguation subsection
2005-11-15 Stefano Zacchirolicic concrete syntax (w/o notation)
2005-11-15 Stefano Zacchirolitex macros, checked in disambiguation section from...
2005-11-14 Andrea AspertiIntroduction, again.:
2005-11-14 Andrea AspertiIntroduction (partial).
2005-11-14 Andrea AspertiIntroduction.
2005-11-10 Stefano Zacchirolipaper skeleton
2005-11-10 Andrea Aspertitypos
2005-11-10 Stefano Zacchiroliadded Makefile, llncs style, cvsignore
2005-11-10 Andrea AspertiHeadings of the matita paper.