projects / helm.git / history
| 2006-09-01 | Ferruccio Guidi | Base.ma now ok!! | tree | commitdiff |
| 2006-08-30 | Ferruccio Guidi | a bit of improvement | tree | commitdiff |
| 2006-08-29 | Ferruccio Guidi | added a preamble file with disambiguation information | tree | commitdiff |
| 2006-08-28 | Ferruccio Guidi | - Level-1: some problems solved | tree | commitdiff |
| 2006-08-28 | Ferruccio Guidi | - Level-1: some fixes to the extraction procedure | tree | commitdiff |
| 2006-08-27 | Ferruccio Guidi | - makefile added | tree | commitdiff |
| 2006-08-27 | Ferruccio Guidi | - record constructor alpha-converted | tree | commitdiff |
| 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 |