projects / helm.git / history
| 2007-11-14 | Enrico Tassi | xxx | tree | commitdiff |
| 2007-11-09 | Enrico Tassi | ... | tree | commitdiff |
| 2007-10-28 | Enrico Tassi | added patch for the configuration file | tree | commitdiff |
| 2007-10-26 | Enrico Tassi | 0.4.0 almost working | tree | commitdiff |
| 2007-10-22 | Enrico Tassi | fixed copyright file... an ITP should be done | tree | commitdiff |
| 2007-09-10 | Enrico Tassi | ... | tree | commitdiff |
| 2007-08-30 | Enrico Tassi | the version on the livecd | tree | commitdiff |
| 2007-06-21 | Enrico Tassi | better description | tree | commitdiff |
| 2007-06-21 | Enrico Tassi | better description | tree | commitdiff |
| 2007-05-23 | Enrico Tassi | debian package for matita | tree | commitdiff |