projects / helm.git / history
| 2008-01-10 | Enrico Tassi | BIG FAT WARNING: DEVELOPMENTS DIE HERE | tree | commitdiff |
| 2007-11-30 | Enrico Tassi | added a way to generate all the utf8 symbols | tree | commitdiff |
| 2007-10-12 | Claudio Sacerdoti... | Move to OCaml 3.10. Requires debian packages from unsta... | tree | commitdiff |
| 2006-12-29 | Ferruccio Guidi | now we try two distinct depend files for compilation... | tree | commitdiff |
| 2006-12-28 | Claudio Sacerdoti... | .depends committed to fix non-compilation errors | tree | commitdiff |
| 2006-12-24 | Ferruccio Guidi | some depend files | tree | commitdiff |
| 2006-10-25 | Claudio Sacerdoti... | 1. bug fixed: Unicode characters that are not mapped... | tree | commitdiff |
| 2006-07-22 | Enrico Tassi | matitaprover | tree | commitdiff |
| 2006-05-31 | Enrico Tassi | \n restored | tree | commitdiff |
| 2006-05-23 | Enrico Tassi | ... | tree | commitdiff |
| 2006-05-16 | Enrico Tassi | utf8_macros moved to syntax_extensions. | tree | commitdiff |