]>
2006-08-27 | Ferruccio Guidi | - Level-1: added two problems | tree | commitdiff |
2006-08-26 | Ferruccio Guidi | - Level-1: added some problems | tree | commitdiff |
2006-08-26 | Ferruccio Guidi | - changed baseuri | tree | commitdiff |
2006-08-26 | Ferruccio Guidi | changed baseuri | tree | commitdiff |
2006-08-26 | Ferruccio Guidi | - added problem 2 | tree | commitdiff |
2006-08-26 | Ferruccio Guidi | - Unified : some definitions of unified \lambda... | tree | commitdiff |
2006-03-17 | Enrico Tassi | tests are now handled with a standard Makefile that... | tree | commitdiff |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | tree | commitdiff |