projects / helm.git / history
| 2005-11-16 | Stefano Zacchiroli | - begin{grafite} environment for script snippets | tree | commitdiff |
| 2005-11-16 | Stefano Zacchiroli | ignore bibtex litter | tree | commitdiff |
| 2005-11-15 | Stefano Zacchiroli | added content level ref | tree | commitdiff |
| 2005-11-15 | Stefano Zacchiroli | - draft of the first part of disambiguation subsection | tree | commitdiff |
| 2005-11-15 | Stefano Zacchiroli | cic concrete syntax (w/o notation) | tree | commitdiff |
| 2005-11-15 | Stefano Zacchiroli | tex macros, checked in disambiguation section from... | tree | commitdiff |
| 2005-11-14 | Andrea Asperti | Introduction, again.: | tree | commitdiff |
| 2005-11-14 | Andrea Asperti | Introduction (partial). | tree | commitdiff |
| 2005-11-14 | Andrea Asperti | Introduction. | tree | commitdiff |
| 2005-11-10 | Stefano Zacchiroli | paper skeleton | tree | commitdiff |
| 2005-11-10 | Andrea Asperti | typos | tree | commitdiff |
| 2005-11-10 | Stefano Zacchiroli | added Makefile, llncs style, cvsignore | tree | commitdiff |
| 2005-11-10 | Andrea Asperti | Headings of the matita paper. | tree | commitdiff |