projects / helm.git / history
| 2005-05-25 | Enrico Tassi | \lambda x.x y ----> \lambda x.(x y) | tree | commitdiff |
| 2005-05-24 | Enrico Tassi | fixed precedence of \to | tree | commitdiff |
| 2005-05-19 | Enrico Tassi | fix | tree | commitdiff |
| 2005-04-21 | Stefano Zacchiroli | split precedence level of binders: \lambda has higher... | tree | commitdiff |
| 2005-04-21 | Stefano Zacchiroli | (hopefully) final decision on precedence levels: | tree | commitdiff |