]> matita.cs.unibo.it Git - helm.git/history - helm/papers/matita/matita.bib
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
made executable again
[helm.git] / helm / papers / matita / matita.bib
2006-02-06 Stefano Zacchiroliremoved papers that have been moved to the new "papers... commit | commitdiff
2006-02-01 Andrea AspertiSnapshot commit | commitdiff
2006-01-31 Claudio Sacerdoti... community review, solved a couple of TODO commit | commitdiff
2006-01-31 Stefano Zacchiroli/me reviewed section 3, here I go ... commit | commitdiff
2006-01-31 Enrico Tassiminor fixes to ENGLISH commit | commitdiff
2006-01-31 Andrea AspertiAdded a new section on automation commit | commitdiff
2006-01-31 Stefano Zacchiroli/me reviewed up to section 2 (included) commit | commitdiff
2006-01-30 Stefano Zacchirolisnapshot ... commit | commitdiff
2006-01-30 Stefano Zacchiroli- use kluwer bibtex style for numbered references commit | commitdiff
2006-01-30 Stefano Zacchirolicorrect name entry {Sacerdoti Coen} in bibtex commit | commitdiff
2006-01-26 Stefano Zacchirolisnapshot commit | commitdiff
2006-01-25 Stefano Zacchiroliadded entry "on the roles of mathml/latex" commit | commitdiff
2005-12-05 Andrea AspertiAdded a new section on the logical library. commit | commitdiff
2005-11-29 Andrea AspertiAdded a few bibliographic entries. commit | commitdiff
2005-11-28 Stefano Zacchirolifirst part on disambiguation passes commit | commitdiff
2005-11-15 Stefano Zacchiroli- draft of the first part of disambiguation subsection commit | commitdiff
Unnamed repository; edit this file 'description' to name the repository.