]>
2006-01-26 | Stefano Zacchiroli | snapshot | blob | commitdiff | raw |
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 |