projects / helm.git / history
| 2007-10-16 | Claudio Sacerdoti... | DOS-style CR+LF added to the blanks list. | blob | commitdiff | raw |
| 2007-10-12 | Claudio Sacerdoti... | Move to OCaml 3.10. Requires debian packages from unsta... | blob | commitdiff | raw | diff to current |
| 2007-06-13 | Enrico Tassi | many changes: | blob | commitdiff | raw | diff to current |
| 2006-08-24 | Ferruccio Guidi | - new legature == for \equiv used in the notation for... | blob | commitdiff | raw | diff to current |
| 2006-07-10 | Enrico Tassi | improved coercions support: | blob | commitdiff | raw | diff to current |
| 2006-05-26 | Andrea Asperti | Bug fixed: the syntax "?n" used to be broken. It tried... | blob | commitdiff | raw | diff to current |
| 2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |