]>
2005-05-24 | Enrico Tassi | fixed precedence of \to | blob | commitdiff | raw |
2005-05-19 | Enrico Tassi | fix | blob | commitdiff | raw | diff to current |
2005-04-21 | Stefano Zacchiroli | split precedence level of binders: \lambda has higher... | blob | commitdiff | raw | diff to current |
2005-04-21 | Stefano Zacchiroli | (hopefully) final decision on precedence levels: | blob | commitdiff | raw | diff to current |