projects / helm.git / history
| 2006-01-30 | Stefano Zacchiroli | correct name entry {Sacerdoti Coen} in bibtex | blob | commitdiff | raw |
| 2006-01-26 | Stefano Zacchiroli | snapshot | blob | commitdiff | raw | diff to current |
| 2006-01-25 | Stefano Zacchiroli | added entry "on the roles of mathml/latex" | blob | commitdiff | raw | diff to current |
| 2005-12-05 | Andrea Asperti | Added a new section on the logical library. | blob | commitdiff | raw | diff to current |
| 2005-11-29 | Andrea Asperti | Added a few bibliographic entries. | blob | commitdiff | raw | diff to current |
| 2005-11-28 | Stefano Zacchiroli | first part on disambiguation passes | blob | commitdiff | raw | diff to current |
| 2005-11-15 | Stefano Zacchiroli | - draft of the first part of disambiguation subsection | blob | commitdiff | raw | diff to current |