projects / helm.git / history
| 2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | tree | commitdiff |
| 2008-06-09 | Claudio Sacerdoti... | Most of the time, URIs can now be replaced with identif... | tree | commitdiff |
| 2008-05-27 | Enrico Tassi | CoRN moved in contribs | tree | commitdiff |
| 2007-01-17 | Claudio Sacerdoti... | CoRN (new version) has been committed by Andrea in... | tree | commitdiff |
| 2006-10-26 | Claudio Sacerdoti... | More timeout added to autos here and there. | tree | commitdiff |
| 2006-10-12 | acciavat | auto => auto new. | tree | commitdiff |
| 2006-10-12 | Claudio Sacerdoti... | Inclusion "improved". | tree | commitdiff |
| 2006-10-12 | Claudio Sacerdoti... | CoRN integrated in the night benchmarks. | tree | commitdiff |
| 2006-10-12 | acciavat | Manual porting of CoRN to Matita. | tree | commitdiff |