]>
2005-11-08 | Claudio Sacerdoti... | Yet another semantics for simplify. | tree | commitdiff |
2005-11-07 | Stefano Zacchiroli | list sorting (to be completed ...) | tree | commitdiff |
2005-11-07 | Stefano Zacchiroli | added tail function | tree | commitdiff |
2005-09-29 | Stefano Zacchiroli | moved a (commented) test in a handier position | tree | commitdiff |
2005-09-21 | Stefano Zacchiroli | uses ligatures (as a sample) | tree | commitdiff |
2005-09-19 | Claudio Sacerdoti... | Spurious interpretation removed. | tree | commitdiff |
2005-09-19 | Stefano Zacchiroli | added list.ma | tree | commitdiff |