]>
2007-06-13 | Enrico Tassi | many changes: | blob | commitdiff | raw |
2006-08-24 | Ferruccio Guidi | - new legature == for \equiv used in the notation for... | blob | commitdiff | raw | diff to current |
2006-07-10 | Enrico Tassi | improved coercions support: | blob | commitdiff | raw | diff to current |
2006-05-26 | Andrea Asperti | Bug fixed: the syntax "?n" used to be broken. It tried... | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |